Analysis and run-time verification of dynamic security policies.

Date
2006
Authors
Janicke, Helge
Siewe, Francois
Jones, Kevin
Cau, A. (Antonio)
Zedan, Hussein
Journal Title
Journal ISSN
ISSN
0302-9743
Volume Title
Publisher
Springer
Peer reviewed
Abstract
Description
Keywords
Citation
Janicke, H. et al, (2006) Analysis and run-time verification of dynamic security policies. Lecture notes in Artificial Intelligence, 3890, pp. 92-103.
Research Institute
Cyber Technology Institute (CTI)