1. Martín Abadi , Anindya Banerjee , Nevin Heintze , and Jon G. Riecke . 1999 . A Core Calculus of Dependency. In POPL ’99 , Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , San Antonio, TX, USA , January 20-22, 1999, Andrew W. Appel and Alex Aiken (Eds.). ACM, 147–160. https://doi.org/10.1145/292540.292555 10.1145/292540.292555 Martín Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. 1999. A Core Calculus of Dependency. In POPL ’99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999, Andrew W. Appel and Alex Aiken (Eds.). ACM, 147–160. https://doi.org/10.1145/292540.292555
2. A calculus for access control in distributed systems;Abadi Martin;ACM Transactions on Programming Languages and Systems (TOPLAS),1993
3. Rafael Accorsi and Andreas Lehmann . 2012. Automatic Information Flow Analysis of Business Process Models . In Business Process Management, Alistair Barros, Avigdor Gal, and Ekkart Kindler (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 172–187. Rafael Accorsi and Andreas Lehmann. 2012. Automatic Information Flow Analysis of Business Process Models. In Business Process Management, Alistair Barros, Avigdor Gal, and Ekkart Kindler (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 172–187.
4. Simone Agostinelli , Fabrizio Maria Maggi , Andrea Marrella , and Francesco Sapio . 2019 . Achieving GDPR Compliance of BPMN Process Models . In Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings(Lecture Notes in Business Information Processing, Vol. 350) , Cinzia Cappiello and Marcela Ruiz (Eds.). Springer, 10–22. https://doi.org/10.1007/978-3-030-21297-1_2 10.1007/978-3-030-21297-1_2 Simone Agostinelli, Fabrizio Maria Maggi, Andrea Marrella, and Francesco Sapio. 2019. Achieving GDPR Compliance of BPMN Process Models. In Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings(Lecture Notes in Business Information Processing, Vol. 350), Cinzia Cappiello and Marcela Ruiz (Eds.). Springer, 10–22. https://doi.org/10.1007/978-3-030-21297-1_2
5. Steven Arzt , Siegfried Rasthofer , Christian Fritz , Eric Bodden , Alexandre Bartel , Jacques Klein , Yves Le Traon , Damien Octeau , and Patrick McDaniel . 2014 . FlowDroid: Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis for Android Apps . In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation ( Edinburgh, United Kingdom) (PLDI ’14). Association for Computing Machinery, New York, NY, USA, 259–269. https://doi.org/10.1145/2594291.2594299 10.1145/2594291.2594299 Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. 2014. FlowDroid: Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis for Android Apps. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (Edinburgh, United Kingdom) (PLDI ’14). Association for Computing Machinery, New York, NY, USA, 259–269. https://doi.org/10.1145/2594291.2594299