Title: Provable security
Subjects: Congresses, Computer systems, Computer security, Cryptography, Access control, Computers, access control