Show simple item record

dc.contributor.authorJanicke, Helge
dc.contributor.authorSiewe, Francois
dc.contributor.authorJones, Kevin
dc.contributor.authorCau, A. (Antonio)
dc.contributor.authorZedan, Hussein
dc.date.accessioned2010-03-11T12:52:51Z
dc.date.available2010-03-11T12:52:51Z
dc.date.issued2006
dc.identifier.citationJanicke, 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.isbn3540328327
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/2086/3545
dc.language.isoenen
dc.publisherSpringeren
dc.titleAnalysis and run-time verification of dynamic security policies.en
dc.typeConferenceen
dc.identifier.doihttp://dx.doi.org/10.1007/11683704_8
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record