Verified Security for Browser Extensions.
Arjun GuhaMatthew FredriksonBenjamin LivshitsNikhil SwamyPublished in: IEEE Symposium on Security and Privacy (2011)
Keyphrases
- information security
- security management
- web browser
- intrusion detection
- information assurance
- user interface
- security properties
- access control
- efficient implementation
- data mining
- statistical databases
- network security
- lightweight
- security policies
- web applications
- security requirements
- security problems
- functional requirements
- data integrity
- security level
- cryptographic protocols
- xml documents
- malware detection
- web services
- security measures
- real time