Analysis and run-time verification of dynamic security policies.
Date
2006
Citation : Janicke, H. et al, (2006) Analysis and run-time verification of dynamic security policies. Lecture notes in Artificial Intelligence, 3890, pp. 92-103.
ISBN : 3540328327
ISSN : 0302-9743
Research Group : Software Technology Research Laboratory (STRL)
Research Institute : Cyber Technology Institute (CTI)