Analysis and Run-Time Verification of Dynamic Security Policies
International workshop, Defence applications of multi-agent systems; DAMAS 2005 ; 2005 ; Utrecht, Netherlands
2006-01-01
12 pages
Held as part of the autonomous agents and multi-agents system conference (AAMAS)
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Space Shuttle security policies and programs
NTRS | 1985
|RESPOnSE—A Framework for Enforcing Risk-Aware Security Policies in Constrained Dynamic Environments
BASE | 2020
|Dynamic analysis for shuttle design verification
NTRS | 1972
|Perils of lax implementation of security policies
British Library Online Contents | 2007
|Set security policies that cover business partners
British Library Online Contents | 2004
|