Establishing Browser Security Guarantees through Formal Shim Verification.
Dongseok JangZachary TatlockSorin LernerPublished in: USENIX Security Symposium (2012)
Keyphrases
- high security
- formal methods
- integrity verification
- java card
- intrusion detection
- security requirements
- cryptographic protocols
- information security
- formal model
- formal analysis
- web pages
- statistical databases
- access control
- information assurance
- network security
- computer security
- security policies
- user interface
- security systems
- security protocols
- security analysis
- web browser
- security issues
- formal specification
- key management
- functional requirements
- model checking
- formal verification
- face verification
- encryption algorithm
- security level
- e government
- security threats
- security management
- image encryption
- wireless sensor networks
- verification method