IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned

2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC)

Author(s): Carlos E. Rubio-Medrano ; Gail-Joon Ahn ; Karsten Sohr
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Kyoto, Japan
Conference Date: 22 July 2013
Page(s): 21 - 26
ISBN (Electronic): 978-0-7695-4986-6
ISSN (Electronic): 0730-3157
DOI: 10.1109/COMPSAC.2013.7
Regular:

Ensuring the correctness of high-level security properties including access control policies in mission-critical applications is indispensable. Recent literature has shown how immaturity of such... View More

Advertisement