Login / Signup

A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models.

Ángel Jesús Varela-VacaDiana BorregoMaría Teresa Gómez LópezRafael M. Gasca
Published in: BIS (2016)
Keyphrases
  • security policies
  • access control
  • social networks
  • user interface
  • object oriented
  • model checking
  • model checker