On Quantitative Analysis of Probabilistic Protocols-Reference-Cited by-同舟云学术

On Quantitative Analysis of Probabilistic Protocols

Published:2005-01 Issue: Volume:112 Page:131-148
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Aldini Alessandro,Di Pierro Alessandra

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference17 articles.

1. Aldini, A., and A. Di Pierro, A Quantitative Approach to Noninterference for Probabilistic Systems, in ENTCS – Selected Papers from MIUR project MEFISTO “Formal Methods for Security” – to appear. http://mefisto.web.cs.unibo.it

2. Security Analysis of a Probabilistic Non-repudiation Protocol;Aldini,2002

3. Two Formal Approaches for Approximating Noninterference Properties;Aldini,2004

4. Process-algebraic Approach for the Analysis of Probabilistic Noninterference;Aldini;Journal of Computer Security,2004

5. Weak Bisimulation for Fully Probabilistic Processes;Baier,1997

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond;Electronic Proceedings in Theoretical Computer Science;2020-01-20

2. Simulation Analysis of Probabilistic Timing Covert Channels;2009 IEEE International Conference on Networking, Architecture, and Storage;2009-07

3. Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking;Information Systems Security;2009

4. Estimating the maximum information leakage;International Journal of Information Security;2007-10-16