Analysis and run-time verification of dynamic security policies.

Janicke, Helge; Siewe, Francois; Jones, Kevin; Cau, A. (Antonio); Zedan, Hussein

Date

2006

Author

Metadata

Show attachments and full item record

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)

Research Institute : Cyber Technology Institute (CTI)

Collections

School of Computer Science and Informatics [2750]