Author:
Castiglioni Valentina,Tini Simone
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference68 articles.
1. Characteristic formulae for fixed-point semantics: a general framework;Aceto;Math. Struct. Comput. Sci.,2012
2. Two formal approaches for approximating noninterference properties;Aldini,2002
3. A process-algebraic approach for the analysis of probabilistic noninterference;Aldini;J. Comput. Secur.,2004
4. Converging from branching to linear metrics on Markov chains;Bacci,2015
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献