manifest.json 984 Bytes
Newer Older
gartur's avatar
1.0.0  
gartur committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
{
  "name": "monpoly-gdpr",
  "author": "gartur",
  "repository": "git@gitlab.ethz.ch:gartur/monpoly-gdpr.git",
  "description": "formulas to monitor GDPR\nThis packet implements formulas to monitor GDPR\nbased on the paper Monitoring the GDPR\n",
  "entities": {
    "info_on_consent": {
      "formula": "src/info_on_consent.mfotl",
      "signature": "src/sig.sig"
    },
    "lawful_processing": {
      "formula": "src/lawful_processing.mfotl",
      "signature": "src/sig.sig"
    },
    "consent": {
      "formula": "src/consent.mfotl",
      "signature": "src/sig.sig"
    },
    "right_to_erasure": {
      "formula": "src/right_to_erasure.mfotl",
      "signature": "src/sig.sig"
    },
    "right_to_restriction_of_processing": {
      "formula": "src/right_to_restriction_of_processing.mfotl",
      "signature": "src/sig.sig"
    },
    "right_to_object": {
      "formula": "src/right_to_object.mfotl",
      "signature": "src/sig.sig"
    }
  },
  "dependencies": {}
}