Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.
Leonard LensinkSjaak SmetsersMarko C. J. D. van EekelenPublished in: FMICS (2007)
Keyphrases
- formal proof
- smart card
- batch processing
- parallel machines
- scheduling problem
- theorem prover
- tcp ip
- authentication protocol
- fingerprint authentication
- flowshop
- digital signature
- security analysis
- secure communication
- information security
- scheduling algorithm
- packet filtering
- security requirements
- sensitive data
- security mechanisms
- secret key
- security protocols
- communication networks
- ad hoc networks