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