Analysis and run-time verification of dynamic security policies.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Janicke, Helge
dc.contributor.author Siewe, Francois
dc.contributor.author Jones, Kevin
dc.contributor.author Cau, A. (Antonio)
dc.contributor.author Zedan, Hussein
dc.date.accessioned 2010-03-11T12:52:51Z
dc.date.available 2010-03-11T12:52:51Z
dc.date.issued 2006
dc.identifier.citation Janicke, H. et al, (2006) Analysis and run-time verification of dynamic security policies. Lecture notes in Artificial Intelligence, 3890, pp. 92-103. en
dc.identifier.isbn 3540328327
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/2086/3545
dc.language.iso en en
dc.publisher Springer en
dc.title Analysis and run-time verification of dynamic security policies. en
dc.type Conference en
dc.identifier.doi http://dx.doi.org/10.1007/11683704_8
dc.researchgroup Software Technology Research Laboratory (STRL) en


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record