Enforcing High-Level Security Properties for Applets.

Mariela Pavlova Gilles Barthe Lilian Burdy Marieke Huisman Jean-Louis Lanet

Published in: CARDIS (2004)

Keyphrases

security properties
high level
smart card
security requirements
security analysis
formal model
security protocols
cryptographic protocols
formal methods
security vulnerabilities
information systems
source code
low cost
autonomous agents
elliptic curve
key agreement