Security verification of programs with stack inspection.
Naoya NittaHiroyuki SekiYoshiaki TakataPublished in: SACMAT (2001)
Keyphrases
- high security
- java card
- integrity verification
- symbolic execution
- cryptographic protocols
- security policies
- security analysis
- access control
- security management
- security issues
- information assurance
- visual inspection
- computer programs
- information security
- statistical databases
- computer security
- hardware designs
- static analysis
- security requirements
- model checking
- security mechanisms
- functional requirements
- security model
- network security
- intrusion detection
- database
- security properties
- formal verification
- formal methods
- face verification