%
% GENERATED FROM http://www.coregrid.net
%    by   : anonymous
%    IP   : yoshi.ercim.eu
%    at   : Fri, 15 Jun 2012 09:35:14 +0000 GMT
%    
% Selection : Publication #1147
%




@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}
}