Index Browse

Publication no #1182   Type :   Html | Bib | Both

Created: 2008-02-20 08:00:20

1182 Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Brian Matthews and Erika Yang. A Formal Security Requirements Model for a Grid-Based Operating System. In BCS-FACS Christmas 2007 Meeting: Formal Methods in Industry, British Computing Society, 2007.   Keywords: Trust and Security.

Feedback: Peter Kunz Last modified: Wed March 19 2008 14:34:44