Login / Signup
A Formal Analysis of a Digital Signature Architecture.
David A. Basin
Kunihiko Miyazaki
Kazuo Takaragi
Published in:
IICIS (2003)
Keyphrases
</>
formal analysis
digital signature
smart card
agent model
key management
formal methods
public key infrastructure
public key
elliptic curve
security mechanisms
software architecture
signature scheme