Login / Signup

Verification of Snapshotable Trees Using Access Permissions and Typestate.

Hannes MehnertJonathan Aldrich
Published in: TOOLS (50) (2012)
Keyphrases
  • access control
  • decision trees
  • data sets
  • neural network
  • databases
  • fine grained
  • information access
  • formal verification
  • tree models
  • website
  • tree structure
  • access control policies
  • role based access control