The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.

Frank Koob, Markus Ullmann, Stefan Wittmann

Browse the full FM paper archive.