@Article{ Naq-FHFS2007,
AUTHOR = {Naqvi, Syed and Arenas, Alvaro and Ponsard, Christophe and Matthews, Brian and Massonet, Philippe},
TITLE = {New Research Dimensions for the Formal Analysis of Critical Information Infrastructures Security Requirements},
YEAR = {2007},
JOURNAL = {Proceedings of the Fraunhofer Symposium on Future Security 2007},
KEYWORDS = {WP2} }
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44
