Compliance through model checking
In this short note, we describe part of a case study about Singapore’s Personal Data Protection Act, which we first presented in-formally, then formally as interacting Timed Automata. From these, we derive desiderata on a language and verification framework for reasoning about compliance.
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | text |
| Language: | English |
| Published: |
Institutional Knowledge at Singapore Management University
2022
|
| Subjects: | |
| Online Access: | https://ink.library.smu.edu.sg/cclaw/3 https://ink.library.smu.edu.sg/context/cclaw/article/1002/viewcontent/5._Compliance_through_Model_Checking.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Singapore Management University |
| Language: | English |
| Summary: | In this short note, we describe part of a case study about Singapore’s Personal Data Protection Act, which we first presented in-formally, then formally as interacting Timed Automata. From these, we derive desiderata on a language and verification framework for reasoning about compliance. |
|---|