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 |
| id |
sg-smu-ink.cclaw-1002 |
|---|---|
| record_format |
dspace |
| spelling |
sg-smu-ink.cclaw-10022023-02-23T08:40:00Z Compliance through model checking MAHAJAN, Avishkar STRECKER Martin, WATT, Seng Joe WONG, Meng Weng (HUANG Mingrong) 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. 2022-12-01T08:00:00Z text application/pdf 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 http://creativecommons.org/licenses/by-nc-nd/4.0/ Centre for Computational Law eng Institutional Knowledge at Singapore Management University Compliance Knowledge Representation and Reasoning Computational Law Model Checking Legal Writing and Research Science and Technology Law |
| institution |
Singapore Management University |
| building |
SMU Libraries |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
SMU Libraries |
| collection |
InK@SMU |
| language |
English |
| topic |
Compliance Knowledge Representation and Reasoning Computational Law Model Checking Legal Writing and Research Science and Technology Law |
| spellingShingle |
Compliance Knowledge Representation and Reasoning Computational Law Model Checking Legal Writing and Research Science and Technology Law MAHAJAN, Avishkar STRECKER Martin, WATT, Seng Joe WONG, Meng Weng (HUANG Mingrong) Compliance through model checking |
| description |
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. |
| format |
text |
| author |
MAHAJAN, Avishkar STRECKER Martin, WATT, Seng Joe WONG, Meng Weng (HUANG Mingrong) |
| author_facet |
MAHAJAN, Avishkar STRECKER Martin, WATT, Seng Joe WONG, Meng Weng (HUANG Mingrong) |
| author_sort |
MAHAJAN, Avishkar |
| title |
Compliance through model checking |
| title_short |
Compliance through model checking |
| title_full |
Compliance through model checking |
| title_fullStr |
Compliance through model checking |
| title_full_unstemmed |
Compliance through model checking |
| title_sort |
compliance through model checking |
| publisher |
Institutional Knowledge at Singapore Management University |
| publishDate |
2022 |
| url |
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 |
| _version_ |
1770567861482291200 |