Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems.

Florian Kammueller

Published in: Arch. Formal Proofs (2020)

Keyphrases

healthcare systems
management system
theorem prover
electronic health records
database
knowledge base
expert systems
knowledge representation
knowledge discovery
context aware
medical data