Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander. Verifiable composition of access control and application features. In Elena Ferrari, Gail-Joon Ahn, editors, SACMAT 2005, 10th ACM Symposium on Access Control Models and Technologies, Stockholm, Sweden, June 1-3, 2005, Proceedings. pages 120-129, ACM, 2005. [doi]