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)

Collections

School of Computer Science and Informatics [2535]