Verification and enforcement of access control policies

Date

2013

Authors

Cau, A. (Antonio)
Janicke, Helge
Moszkowski, B. C.

Advisors

Journal Title

Journal ISSN

ISSN

DOI

https://doi.org/10.1007/s10703-013-0187-3

Volume Title

Publisher

Springer

Type

Article

Peer reviewed

Yes

Abstract

Description

Keywords

Citation

Cau, A., Janicke, H. and Moszkowski, B.C. (2013) Verification and enforcement of access control policies. Formal Methods in System Design, 43 (3), pp. 450-492

URI

http://hdl.handle.net/2086/8661

Rights

Research Institute

Collections

School of Computer Science and Informatics