Sophisticated Access Control via SMT and Logical Frameworks. - ARKOUDAS, KONSTANTINE; CHADHA, RITU; CHIANG, JASON (ACM Transactions on Information & System Security (TISSEC), 2014)