Commit f13f2630 authored by gartur's avatar gartur
Browse files

1.1.1

parent 720478a2
...@@ -2,10 +2,12 @@ LET lawful_processing(data,dataid,dsid) = f"lawful_processing/lawful_processing. ...@@ -2,10 +2,12 @@ LET lawful_processing(data,dataid,dsid) = f"lawful_processing/lawful_processing.
LET consent(data,dataid,dsid) = f"consent/consent.mfotl"s"consent/consent.sig" IN LET consent(data,dataid,dsid) = f"consent/consent.mfotl"s"consent/consent.sig" IN
LET info_on_consent(data,dataid,dsid) = f"info_on_consent/info_on_consent.mfotl"s"info_on_consent/info_on_consent.sig" IN LET info_on_consent(data,dataid,dsid) = f"info_on_consent/info_on_consent.mfotl"s"info_on_consent/info_on_consent.sig" IN
LET right_to_access(dsid) = f"right_to_access/right_to_access.mfotl"s"right_to_access/right_to_access.sig" IN LET right_to_access(dsid) = f"right_to_access/right_to_access.mfotl"s"right_to_access/right_to_access.sig" IN
LET right_to_erasure(data,dataid,dsid,procid) = f"right_to_erasure/right_to_erasure.mfotl"s"right_to_erasure/right_to_erasure.sig" IN LET right_to_erasure(data,dataid,dsid) = f"right_to_erasure/right_to_erasure.mfotl"s"right_to_erasure/right_to_erasure.sig" IN
LET right_to_restriction_of_processing(data,dataid,dsid) = f"right_to_restriction_of_processing/right_to_restriction_of_processing.mfotl"s"right_to_restriction_of_processing/right_to_restriction_of_processing.sig" IN LET right_to_restriction_of_processing(data,dataid,dsid) = f"right_to_restriction_of_processing/right_to_restriction_of_processing.mfotl"s"right_to_restriction_of_processing/right_to_restriction_of_processing.sig" IN
LET right_to_object(data,dataid,dsid) = f"right_to_object/right_to_object.mfotl"s"right_to_object/right_to_object.sig" IN LET right_to_object(data,dataid,dsid) = f"right_to_object/right_to_object.mfotl"s"right_to_object/right_to_object.sig" IN
lawful_processing(data,dataid,dsid) OR lawful_processing(data,dataid,dsid) OR
consent(data,dataid,dsid) OR consent(data,dataid,dsid) OR
info_on_consent(data,dataid,dsid) OR info_on_consent(data,dataid,dsid) OR
right_to_object(data,dataid,dsid) right_to_object(data,dataid,dsid) OR
\ No newline at end of file right_to_erasure(data,dataid,dsid)
# OR right_to_restriction_of_processing(data,dataid,dsid)
LET right_to_erasure_1(data,dataid,dsid) = ds_deletion_request(data,dataid,dsid) AND (NOT EVENTUALLY[0,30d] delete(data,dataid,dsid)) IN LET right_to_erasure_1(data,dataid,dsid) = ds_deletion_request(data,dataid,dsid) AND (NOT EVENTUALLY[0,30d] delete(data,dataid,dsid)) IN
LET right_to_erasure_2(data,dataid,dsid) = use(data,dataid,dsid) AND (ONCE delete(data,dataid,dsid)) IN LET right_to_erasure_2(data,dataid,dsid) = use(data,dataid,dsid) AND ONCE delete(data,dataid,dsid) IN
LET right_to_erasure_3(data,dataid,dsid,procid) = ds_deletion_request (data, dataid, dsid) AND ONCE share_with( procid , dataid) AND NOT EVENTUALLY[0,30d] notify_proc(procid , dataid) IN LET right_to_erasure_3(data,dataid,dsid,procid) = ds_deletion_request (data, dataid, dsid) AND ONCE share_with( procid , dataid) AND NOT EVENTUALLY[0,30d] notify_proc(procid , dataid) IN
right_to_erasure_3(data,dataid,dsid,procid) (EXISTS procid. right_to_erasure_3(data,dataid,dsid,procid))
OR
(right_to_erasure_1(data,dataid,dsid) OR right_to_erasure_2(data,dataid,dsid))
\ No newline at end of file
LET right_to_object(data,dataid,dsid) = use(data,dataid,dsid) AND (NOT ((NOT ds_object(dsid,data)) SINCE legal_grounds(dsid,data))) IN LET right_to_object(data,dataid,dsid) = use(data,dataid,dsid) AND (ds_object(dsid,data) SINCE legal_grounds(dsid,data)) IN
right_to_object(data,dataid,dsid) right_to_object(data,dataid,dsid)
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment