Author:
Aldini Alessandro,Bernardo Marco
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Aldini, A., Bernardo, M.: TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. In: 1st Int. Conf. on Quantitative Evaluation of Systems (QEST 2004). IEEE CS Press, Los Alamitos (2004) (to appear)
2. Aldini, A., Bravetti, M., Gorrieri, R.: A Process-algebraic Approach for the Analysis of Probabilistic Noninterference. Journal of Computer Security 12(2) (2004)
3. Lecture Notes in Computer Science;A. Aldini,2002
4. Bernardo, M., Bravetti, M.: Performance Measure Sensitive Congruences for Markovian Process Algebras. Theoretical Computer Science 290, 117–160 (2003)
5. Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Families of Software Systems with Process Algebras. ACM Trans. on Software Engineering and Methodology 11, 386–426 (2002)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022
2. Network Steganography Countermeasures;Information Hiding in Communication Networks: Fundamentals, Mechanisms, Applications, and Countermeasures;2016-03-05
3. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels;Formal Aspects in Security and Trust;2009
4. Estimating the maximum information leakage;International Journal of Information Security;2007-10-16