Verifiable composition of access control and application features

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]

Abstract

Abstract is missing.