On Quantitative Analysis of Probabilistic Protocols

Electronic Notes in Theoretical Computer Science

Volumn 112, Issue SPEC. ISS., 2005, Pages 131-148

  Aldini, Alessandro ^a   Di Pierro, Alessandra ^b  

^a UNIVERSITY OF URBINO   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Approximate Noninterference; Case Study; Probabilistic Process Algebra; Process Equivalence

Indexed keywords

APPROXIMATE NONINTERFERENCE; CASE STUDY; PROBABILISTIC PROCESS ALGEBRA; PROCESS EQUIVALENCE;

APPROXIMATION THEORY; COMPUTER SIMULATION; ESTIMATION; MATHEMATICAL MODELS; PROBABILITY; SECURITY OF DATA;

NETWORK PROTOCOLS;

EID: 11344262694     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.01.019     Document Type: Conference Paper

References (17)

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. A. Aldini, and R. Gorrieri Security Analysis of a Probabilistic Non-repudiation Protocol Proc. of 2nd Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification PAPM-ProbMiV'02 LNCS 2399 2002 Springer 17 36
3. A. Aldini, M. Bravetti, A. Di Pierro, R. Gorrieri, C. Hankin, and H. Wiklicky Two Formal Approaches for Approximating Noninterference Properties Foundations of Security Analysis and Design II - Tutorial Lectures LNCS 2946 2004 Springer 1 43
4. A. Aldini, M. Bravetti, and R. Gorrieri Process-algebraic Approach for the Analysis of Probabilistic Noninterference Journal of Computer Security 12 2 2004
5. C. Baier, and H. Hermanns Weak Bisimulation for Fully Probabilistic Processes Proc. of 9th Int. Conf. on Computer Aided Verification LNCS 1254 1997 Springer 119 130
6. M. Bravetti, and A. Aldini Discrete Time Generative-reactive Probabilistic Processes with Different Advancing Speeds Theoretical Computer Science 290 1 2003 355 406
7. M. Bravetti, and M. Bernardo Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time Proc. of 1st Workshop on Models for Time-Critical Systems ENTCS 39 3 2000
8. A. Di Pierro, C. Hankin, and H. Wiklicky Approximate Non-Interference Journal of Computer Security 12 1 2004 37 81
9. A. Di Pierro, C. Hankin, and H. Wiklicky Probabilistic Confinement in a Declarative Framework Declarative Programming - Selected Papers from AGP 2000 ENTCS 48 2001 1 23
10. R. Focardi, and R. Gorrieri A Classification of Security Properties Journal of Computer Security 3 1 1995 5 33
11. R.J. van Glabbeek, S.A. Smolka, and B. Steffen Reactive, Generative and Stratified Models of Probabilistic Processes Information and Computation 121 1995 59 80
12. J.A. Goguen, and J. Meseguer Security Policy and Security Models Proc. of IEEE Symposium on Security and Privacy 1982 11 20
13. J.W. Gray III Probabilistic Interference Proc. of IEEE Symposium on Security and Privacy 1990 170 179
14. O. Markowitch, and Y. Roggeman Probabilistic Non-Repudiation without Trusted Third Party 2nd Conf. on Security in Comm. Networks 1999
15. R. Milner Communication and Concurrency 1989 Prentice Hall
16. A. Sabelfeld, and D. Sands Probabilistic Noninterference for Multi-threaded Programs Proc. 13th IEEE Computer Security Foundations Workshop CSFW'00 2000 200 214
17. D. Volpano, and G. Smith Probabilistic Noninterference in a Concurrent Language Proc. of 11th IEEE Computer Security Foundations Workshop CSFW'98 1998 34 43