Sign in

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

Goran PiskachevTobias PetraschJohannes SpäthEric 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