Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking.
Biniam GebremichaelFrits W. VaandragerPublished in: FORMATS (2003)
Keyphrases
- smart card
- symbolic model checking
- model checking
- authentication scheme
- security requirements
- control system
- authentication protocol
- security analysis
- java card
- differential power analysis
- real valued
- information security
- secret key
- domain specific
- control strategy
- binary decision diagrams
- model checker
- web services
- knowledge base