Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr. Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 21-26, IEEE Computer Society, 2013. [doi]
Abstract is missing.