Login / Signup

Work-Based Access Control Model for Cooperative Healthcare Environments: Formal Specification and Verification.

Mohamed AbomharaHuihui YangGeir M. KøienMehdi Ben Lazreg
Published in: J. Heal. Informatics Res. (2017)
Keyphrases
  • formal specification
  • cooperative
  • probabilistic model
  • model checking
  • real world
  • machine learning
  • high level
  • specification language
  • model checker
  • information technology
  • reverse engineering
  • verification method