Show simple item record

dc.contributor.authorCau, A. (Antonio)en
dc.contributor.authorJanicke, Helgeen
dc.contributor.authorMoszkowski, B. C.en
dc.date.accessioned2013-05-23T15:05:07Z
dc.date.available2013-05-23T15:05:07Z
dc.date.issued2013
dc.identifier.citationCau, A., Janicke, H. and Moszkowski, B.C. (2013) Verification and enforcement of access control policies. Formal Methods in System Design, 43 (3), pp. 450-492en
dc.identifier.urihttp://hdl.handle.net/2086/8661
dc.language.isoenen
dc.publisherSpringeren
dc.titleVerification and enforcement of access control policiesen
dc.typeArticleen
dc.identifier.doihttp://dx.doi.org/10.1007/s10703-013-0187-3
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen
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