A secrecy-preserving language for distributed and object-oriented systems-Reference-Cited by-同舟云学术

A secrecy-preserving language for distributed and object-oriented systems

Author:

Ramezanifarkhani Toktam,Owe Olaf,Tokas Shukun

Funder

Norwegian Research Council

Electronic Component Systems for European Leadership Joint Undertaking

Horizon 2020

Publisher

Elsevier BV

Subject

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

Reference48 articles.

1. The SLam calculus: programming with secrecy and integrity;Heintze,1998

2. A perspective on information-flow control;Hedin,2012

3. Hyperproperties;Clarkson;J. Comput. Secur.,2010

4. Unwinding and inference control;Goguen,1984

5. The SLam calculus: programming with secrecy and integrity;Heintze,1998

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

3. A Commonsense Theory of Secrets;Frontiers in Artificial Intelligence and Applications;2020-10-22

4. Extracting Layered Privacy Language Purposes from Web Services;2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW);2020-09

5. Annotation-Based Static Analysis for Personal Data Protection;Privacy and Identity Management. Data for Better Living: AI and Privacy;2020