Verifiable composition of access control and application features.

Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander

Browse the full SACMAT paper archive.