2 papers
cs.CR2023
Guaranteeing Anonymity in Attribute-Based Authorization
Erin Lanus, Charles J. Colbourn, Gail-Joon Ahn
Attribute-based methods, such as attribute-based access control and attribute-based encryption, make decisions based on attributes possessed by a subject rather than the subject's…
cs.CR2020
Formal Methods Analysis of the Secure Remote Password Protocol
Alan T. Sherman, Erin Lanus, Moses Liskov +7
We analyze the Secure Remote Password (SRP) protocol for structural weaknesses using the Cryptographic Protocol Shapes Analyzer (CPSA) in the first formal analysis of SRP (specific…