Author:
Bossi A.,Piazza C.,Rossi S.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. D_PSNI: Delimited persistent stochastic non-interference;Theoretical Computer Science;2021-09
2. A Noninterference Model for Mobile OS Information Flow Control and Its Policy Verification;Security and Communication Networks;2021-08-24
3. Delimited Persistent Stochastic Non-Interference;Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools;2019-03-12
4. Many-to-Many Information Flow Policies;Lecture Notes in Computer Science;2017
5. A Causal View on Non-Interference*;Fundamenta Informaticae;2015-07-23