Application of Lightweight Formal Methods to Software Security.

David P. Gilliam, John D. Powell, Matt Bishop

Browse the full WETICE paper archive.