Discovering concrete attacks on website authorization by formal analysis.
Chetan BansalKarthikeyan BhargavanAntoine Delignat-LavaudSergio MaffeisPublished in: J. Comput. Secur. (2014)
Keyphrases
- formal analysis
- website
- access control
- formal methods
- security mechanisms
- countermeasures
- web pages
- website design
- security requirements
- ban logic
- conflict resolution
- security policies
- watermarking algorithm
- watermarking scheme
- web content
- security protocols
- fine grained
- knowledge representation
- security issues
- internet users
- access control policies