Refining Privacy-Aware Data Flow Diagrams-Reference-Cited by-同舟云学术

Refining Privacy-Aware Data Flow Diagrams

Published:2021 Issue: Volume: Page:121-140
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Alshareef Hanaa^ORCID,Stucki Sandro^ORCID,Schneider Gerardo^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-92124-8_8

Reference33 articles.

1. Lecture Notes in Computer Science;JR Abrial,1988

2. Abrial, J.R., Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)

3. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-b. Fundamenta Informaticae 77(1), 1–28 (2007)

4. Alshareef, H., Stucki, S., Schneider, G.: Transforming data flow diagrams for privacy compliance (long version). CoRR abs/2011.12028 (2020)

5. Alshareef, H., Stucki, S., Schneider, G.: Transforming data flow diagrams for privacy compliance. In: MODELSWARD 2021, pp. 207–215. SCITEPRESS (2021)

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

1. Features and Aspects of Functional Modeling;Deterministic and Stochastic Approaches in Computer Modeling and Simulation;2023-10-06

2. Threat Modeling and Assessment Methods in the Healthcare-IT System: A Critical Review and Systematic Evaluation;SN Computer Science;2023-09-21

3. Precise Analysis of Purpose Limitation in Data Flow Diagrams;Proceedings of the 17th International Conference on Availability, Reliability and Security;2022-08-23