Formal Modeling and Verification of Security Property in Handel C Program.
Yujian FuJeffery KulickLok K. YanSteven DragerPublished in: Int. J. Secur. Softw. Eng. (2012)
Keyphrases
- high security
- java card
- symbolic execution
- formal methods
- hardware designs
- security issues
- static analysis
- computer programs
- security requirements
- formal models
- integrity verification
- database
- formal verification
- key management
- formal analysis
- biometric systems
- statistical databases
- formal specification
- information security
- source code