Sign in
Layered Symbolic Security Analysis in $\textsf {DY}^\star $.
Karthikeyan Bhargavan
Abhishek Bichhawat
Pedram Hosseyni
Ralf Küsters
Klaas Pruiksma
Guido Schmitz
Clara Waldmann
Tim Würtele
Published in:
ESORICS (3) (2023)
Keyphrases
</>
security analysis
smart card
public key
security requirements
security model
high security
security properties
image encryption
authentication protocol
encryption scheme
databases
encryption algorithm
user authentication
low cost
access control policies
high dimensional
database systems
authentication scheme