Login / Signup
Probabilistic Polynomial-Time Equivalence and Security Analysis.
Patrick Lincoln
John C. Mitchell
Mark Mitchell
Andre Scedrov
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
security analysis
public key
security model
smart card
security requirements
high security
security properties
encryption scheme
image encryption
encryption algorithm
authentication scheme
real time
privacy preserving
mutual authentication