Funder
Icelandic Centre for Research
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference117 articles.
1. Structural operational semantics;Aceto,2001
2. Approximating Markovian testing equivalence;Aldini;Theor. Comput. Sci.,2012
3. Two formal approaches for approximating noninterference properties;Aldini,2002
4. A process-algebraic approach for the analysis of probabilistic noninterference;Aldini;J. Comput. Secur.,2004
5. Estimating the maximum information leakage;Aldini;Int. J. Inf. Secur.,2008