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




@InProceedings{Aziz:BCSFACS:2007,
      AUTHOR = {Aziz, Benjamin and Arenas, Alvaro and Bicarregui, Juan and Matthews, Brian and Yang, Erika},
      TITLE = {A Formal Security Requirements Model for a Grid-Based Operating System},
      YEAR = {2007},
      BOOKTITLE = {BCS-FACS Christmas 2007 Meeting: Formal Methods in Industry},
      SERIES = {Electronic Workshops in Computing Series},
      PUBLISHER = {British Computing Society},
      KEYWORDS = {Trust and Security}
}