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