Modelling Security Properties in a Grid-based Operating System with Anti-Goals.
Alvaro ArenasBenjamin AzizJuan BicarreguiBrian MatthewsErica Y. YangPublished in: ARES (2008)
Keyphrases
- operating system
- security properties
- formal model
- security analysis
- security protocols
- computer systems
- security requirements
- security mechanisms
- virtual machine
- distributed systems
- cryptographic protocols
- microsoft windows
- formal methods
- cost effective
- multi tasking
- memory management
- operating environment
- windows xp
- authentication protocol
- data processing
- databases
- red hat