Static checking of GDPR-related privacy compliance for object-oriented distributed systems-Reference-Cited by-同舟云学术

Static checking of GDPR-related privacy compliance for object-oriented distributed systems

Published:2022-02 Issue: Volume:125 Page:100733
ISSN:2352-2208
Container-title:Journal of Logical and Algebraic Methods in Programming
language:en
Short-container-title:Journal of Logical and Algebraic Methods in Programming

Author:

Tokas Shukun,Owe Olaf^ORCID,Ramezanifarkhani Toktam

Funder

Norges Forskningsråd

Electronic Components and Systems for European Leadership

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference51 articles.

1. Constructing independently verifiable privacy-compliant type systems for message passing between black-box components;Adams,2018

2. An XPath-based preference language for P3P;Agrawal,2003

3. Inferring semantic mapping between policies and code: the clue is in the language;Anthonysamy,2016

4. Monitoring the GDPR;Arfelt,2019

5. Enterprise privacy authorization language (EPAL);Ashley;IBM Res.,2003

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SoK: Technical Implementation and Human Impact of Internet Privacy Regulations;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

2. Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model;JUCS - Journal of Universal Computer Science;2024-04-28

3. Finding Privacy-Relevant Source Code;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C);2024-03-12

4. Integrating Data Privacy Compliance in Active Object Languages;Lecture Notes in Computer Science;2024

5. Enforcing the GDPR;Lecture Notes in Computer Science;2024