TBA : A Hybrid of Logic and Extensional Access Control Systems. - Timothy L. Hinrichs; William C. Garrison III; Adam J. Lee; Skip Saunders; John C. Mitchell (Formal Aspects in Security and Trust, 2011)