A formal security requirements model for a grid-based operating system

Aziz, Benjamin, Arenas, Alvaro, Bicarregui, Juan, Matthews, Brian and Yang, Erica (2007) A formal security requirements model for a grid-based operating system. In: FACS 2007 Christmas Workshop: Formal Methods in Industry.

Full text not available from this repository.

Item Type:	Conference or Workshop Item
Depositing User:	RED Unit Admin
Date Deposited:	18 Dec 2023 12:01
Last Modified:	18 Dec 2023 12:01
URI:	https://bnu.repository.guildhe.ac.uk/id/eprint/18971

Actions (login required)

Edit Item