Formal Verification of Security Properties of Smart Card Embedded Source Code.
June AndronickBoutheina ChetaliChristine Paulin-MohringPublished in: FM (2005)
Keyphrases
- smart card
- source code
- security properties
- formal verification
- security requirements
- security analysis
- program slicing
- model checking
- open source
- software systems
- cryptographic protocols
- security mechanisms
- information security
- authentication protocol
- static analysis
- java card
- software projects
- authentication scheme
- high level
- security protocols
- secret key
- formal model
- software maintenance
- user authentication
- sensitive data
- formal specification
- artificial intelligence