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

Frank Koob Markus Ullmann Stefan Wittmann The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. 302-310 1998 conf/fm/1998 FM-Trends db/conf/fm/fm1998.html#KoobUW98 http://dx.doi.org/10.1007/3-540-48257-1_20