Author:
Esposito Andrea,Aldini Alessandro,Bernardo Marco
Publisher
Springer Nature Switzerland
Reference48 articles.
1. Aldini, A.: Classification of security properties in a Linda-like process algebra. Sci. Comput. Program. 63, 16–38 (2006)
2. Aldini, A., Bravetti, M., Gorrieri, R.: A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12, 191–245 (2004)
3. Andova, S., Georgievska, S., Trcka, N.: Branching bisimulation congruence for probabilistic systems. Theoret. Comput. Sci. 413, 58–72 (2012)
4. Lecture Notes in Computer Science;C Baier,1997
5. Barbuti, R., Tesei, L.: A decidable notion of timed non-interference. Fund. Inform. 54, 137–150 (2003)