Login / Signup

Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+.

Antonios GouglidisChristos GrompanopoulosAnastasia Mavridou
Published in: MeTRiD@ETAPS (2018)
Keyphrases
  • formal verification
  • model checking
  • temporal logic
  • database
  • model checker