Sophisticated Access Control via SMT and Logical Frameworks.

Saved in:

Bibliographic Details
Title:	Sophisticated Access Control via SMT and Logical Frameworks.
Authors:	ARKOUDAS, KONSTANTINE, konstantine@alum.mit.edu, CHADHA, RITU, CHIANG, JASON
Source:	ACM Transactions on Information & System Security (TISSEC); Apr2014, Vol. 16 Issue 4, p17:1-17:31, 31p
Database:	Applied Science & Technology Source

Description
ISSN:	10949224
DOI:	10.1145/2595222