IEEE - Institute of Electrical and Electronics Engineers, Inc. - Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations

2015 IEEE 28th Computer Security Foundations Symposium (CSF)

Author(s): William C. Garrison ; Adam J. Lee
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2015
Conference Location: Verona, Italy
Conference Date: 13 July 2015
Page(s): 18 - 32
ISBN (Electronic): 978-1-4673-7538-2
ISBN (USB): 978-1-4673-7537-5
ISSN (Electronic): 2377-5459
ISSN (Paper): 1063-6900
DOI: 10.1109/CSF.2015.9
Regular:

Access control is fundamental to computer security, and has thus been the subject of extensive formal study. In particular, relative expressiveness analysis techniques have used formal mappings... View More

Advertisement