C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Testudo: Heavyweight security analysis via statistical sampling.
Joseph L. Greathouse
Ilya Wagner
David A. Ramos
Gautam Bhatnagar
Todd M. Austin
Valeria Bertacco
Seth Pettie
Published in:
MICRO (2008)
Keyphrases
</>
security analysis
security requirements
smart card
public key
image encryption
encryption scheme
security properties
mutual authentication
authentication protocol
user authentication
high security
security model
authentication scheme
real time
proxy signature scheme
fine grained
information systems
databases