Subject
General Computer Science,Theoretical Computer Science
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems;Formal Techniques for Distributed Objects, Components, and Systems;2023
2. There are Two Sides to Every Question;Programming Languages with Applications to Biology and Security;2015
3. Introducing Probabilities in Controller Strategies;Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance;2015
4. Automated Synthesis and Ranking of Secure BPMN Orchestrators;International Journal of Secure Software Engineering;2014-04
5. Partial Model Checking for the Verification and Synthesis of Secure Service Compositions;Public Key Infrastructures, Services and Applications;2014