Funder
European Cooperation in Science and Technology
H2020 Marie Skłodowska-Curie Actions
Icelandic Centre for Research
Università ta' Malta
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference100 articles.
1. A theory of monitors (extended abstract);Francalanza,2016
2. Enforceable security policies;Schneider;ACM Trans. Inf. Syst. Secur.,2000
3. Edit automata: enforcement mechanisms for run-time security policies;Ligatti;Int. J. Inf. Secur.,2005
4. Do you really mean what you actually enforced?: edited automata revisited;Bielova;Int. J. Inf. Secur.,2011
5. Session-typed concurrent contracts;Gommerstadt,2018
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献