Discovering Concrete Attacks on Website Authorization by Formal Analysis.

Chetan Bansal Karthikeyan Bhargavan Sergio Maffeis

Published in: CSF (2012)

Keyphrases

formal analysis
website
access control
formal methods
countermeasures
conflict resolution
watermarking scheme
security mechanisms
agent model
security policies
databases
web content
fine grained
database
cost effective
web pages
machine learning
access control policies
security protocols
role based access control