Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned.

Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr

Browse the full COMPSAC paper archive.