Analysis and run-time verification of dynamic security policies.

Date

2006

Authors

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

Advisors

Journal Title

Journal ISSN

ISSN

0302-9743

DOI

https://doi.org/10.1007/11683704_8

Volume Title

Publisher

Springer

Type

Conference

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.

URI

http://hdl.handle.net/2086/3545

Rights

Research Institute

Collections

School of Computer Science and Informatics