Analysis and run-time verification of dynamic security policies.

Date

2006

Advisors

Journal Title

Journal ISSN

ISSN

0302-9743

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.

Rights

Research Institute

Cyber Technology Institute (CTI)