Verification and enforcement of access control policies

Date

2013

Advisors

Journal Title

Journal ISSN

ISSN

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

Rights

Research Institute

Cyber Technology Institute (CTI)