Login / Signup

A Calculus for Flow-Limited Authorization.

Owen ArdenAndrew C. Myers
Published in: CSF (2016)
Keyphrases
  • access control
  • flow patterns
  • fine grained
  • limited resources
  • management system
  • website
  • first order logic
  • formal language