@INPROCEEDINGS{6649794,
author={Rubio-Medrano, C.E. and Ahn, G.-J. and Sohr, K.},
booktitle={Computer Software and Applications Conference (COMPSAC), 2013 IEEE 37th Annual},
title={Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned},
year={2013},
month={July},
pages={21-26},
keywords={authorisation;formal specification;formal verification;safety-critical software;ANSI RBAC standard model;DBC features;access control property verification;access control requirements specification;access control requirements verification;design by contract;mission-critical applications;source code level;ANSI standards;Access control;Contracts;Java;Runtime;Software;access control;formal verification;security},
doi={10.1109/COMPSAC.2013.7},}