Analysis and run-time verification of dynamic security policies.

De Montfort University Open Research Archive

Analysis and run-time verification of dynamic security policies.

Janicke, Helge ; Siewe, Francois ; Jones, Kevin ; Cau, A. (Antonio) ; Zedan, Hussein
Citation: Janicke, H. et al, (2006) Analysis and run-time verification of dynamic security policies. Lecture notes in Artificial Intelligence, 3890, pp. 92-103.
URI: http://hdl.handle.net/2086/3545
DOI: http://dx.doi.org/10.1007/11683704_8
ISBN: 3540328327
ISSN: 0302-9743
Research Group: Software Technology Research Laboratory (STRL)
Date: 2006

Show attachments and full item record

This item appears in the following Collection(s)