Sophisticated Access Control via SMT and Logical Frameworks.
Saved in:
| 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 |
Be the first to leave a comment!
