Syed Naqvi,
Alvaro Arenas,
Christophe Ponsard,
Brian Matthews and
Philippe Massonet. New Research Dimensions for the Formal Analysis of Critical Information Infrastructures Security Requirements. In Proceedings of the Fraunhofer Symposium on Future Security 2007, 2007.
Keywords: WP2.
@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}
}
|
