Information Security

DOI10.1007/11556992zbMath1159.68455OpenAlexW4241272628MaRDI QIDQ5493195

Nan Zhang, Dimitar P. Guelev, Mark D. Ryan

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11556992

zbMATH Keywords

verificationmodel checkingaccess controlaccess control policyaccess control modelaccess control policy language

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (1)

On the Decidability of the Safety Problem for Access Control Policies

Uses Software

• Alcoa

This page was built for publication: Information Security