Permission to speak: A logic for access control and conformance (0)

by N Dinesh, A Joshi, I Lee, O Sokolsky
Venue:Journal of Logic and Algebraic Programming, In Press, Corrected Proof:–, 2010. ISSN