AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.

Goran Piskachev Tobias Petrasch Johannes Späth Eric Bodden

Published in: FM Workshops (2) (2019)

Keyphrases

access control
fine grained
security mechanisms
security requirements
dynamic access control
data security
security policies
security model
access control models