Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.

Werner Stephan

Browse the full FM paper archive.