Security Properties of Typed Applets.

Xavier Leroy François Rouaix

Published in: Secure Internet Programming (1999)

Keyphrases

security properties
smart card
security requirements
security analysis
formal model
security protocols
cryptographic protocols
information security
formal methods
security vulnerabilities
information systems
response time
efficient computation
key agreement