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