Security analysis of a probabilistic non-repudiation protocol

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2399, Issue , 2002, Pages 17-36

  Aldini, Alessandro ^a   Gorrieri, Roberto ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

CONFIDENTIAL INFORMATION; CRYPTOGRAPHIC PROTOCOLS; FAIRNESS PROPERTIES; INFORMATION LEAKAGE; NON-DETERMINISTIC APPROACH; NON-REPUDIATION PROTOCOL; PROBABILISTIC ALGORITHM; PROBABILISTIC BEHAVIOR;

NETWORK SECURITY;

EID: 84943242087     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45605-8_3     Document Type: Conference Paper

References (23)

1. A. Aldini, “Probabilistic Information Flow in a Process Algebra”, in Proc. of the 12th Int. Conf. on Concurrency Theory, LNCS 2154, pp. 152-168, Springer-Verlag, 2001
2. A. Aldini, “On the Extension of Non-interference with Probabilities”, 2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security, 2002
3. A. Aldini, M. Bravetti, “An Asynchronous Calculus for Generative-Reactive Probabilistic Systems”, in Proc. of the 8th Int. Workshop on Process Algebra and Performance Modeling, pp. 591-605, Carleton Scientific, 2000
4. A. Aldini, M. Bravetti, R. Gorrieri, “A Process Algebraic Approach for the Analysis of Probabilistic Non-interference”, Technical Report UBLCS-2002-2, University of Bologna, Italy, 2002, ftp://ftp.cs.unibo.it/pub/techreports/
5. C. Baier, H. Hermanns, “Weak Bisimulation for Fully Probabilistic Processes”, in Proc. of the 9th Int. Conf. on Computer Aided Verification, LNCS 1254, pp. 119-130, Springer-Verlag, 1997
6. C. Baier, M. Kwiatkowska, “Domain Equations for Probabilistic Processes”, in Mathematical Structures in Computer Science 10(6), pp. 665-717, 2000
7. F. van Breugel, J. Worrell, “Towards Quantitative Verification of Probabilistic Systems (extended abstract)”, in Proc. of the 28th International Colloquium on Automata, Languages and Programming, LNCS 2076, pp. 421-432, Springer-Verlag, 2001
8. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, “Metrics for Labeled Markov Processes”, in Proc. of the 10th Int. Conf. on Concurrency Theory, LNCS 1664, pp. 258-273, Springer-Verlag, 1999
9. A. Di Pierro, C. Hankin, H. Wiklicky, “On Approximate Non-Interference”, 2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security, 2002
10. R. Focardi, R. Gorrieri, “A Classification of Security Properties”, Journal of Computer Security, 3(1):5-33, 1995
11. R. Focardi, R. Gorrieri, “Classification of Security Properties (Part I: Information Flow)”, Foundations of Security Analysis and Design-Tutorial Lectures (R. Focardi and R. Gorrieri, Eds.), LNCS 2171, pp. 331-396, Springer-Verlag, 2001
12. R. Focardi, R. Gorrieri, F. Martinelli, “Non Interference for the Analysis of Cryptographic Protocols”, in Proc. of the 27th International Colloquium on Automata, Languages and Programming, LNCS 1853, pp. 354-372, Springer-Verlag, 2000
13. R.J. van Glabbeek, S.A. Smolka, B. Steffen, “Reactive, Generative and Stratified Models of Probabilistic Processes”, in Information and Computation 121:59-80, 1995
14. J.A. Goguen, J. Meseguer, “Security Policy and Security Models”, in Proc. of Symposium on Security and Privacy, pp. 11-20, IEEE CS Press, 1982
15. J.W. Gray III, “Toward a Mathematical Foundation for Information Flow Security”, Journal of Computer Security, 1:255-294, 1992
16. Y. Han, “Investigation of Non-repudiation Protocols”, in ACISP: Information Security and Privacy: Australasian Conference, LNCS 1172, pp. 38-47, Springer-Verlag, 1996
17. O. Markowitch, Y. Roggeman, “Probabilistic Non-Repudiation without Trusted Third Party”, 2nd Conference on Security in Communication Networks, Amalfi, Italy, 1999
18. R. Milner, “Communication and Concurrency”, Prentice Hall, 1989
19. P.Y.A. Ryan, “A CSP Formulation of Non-Interference”, Cipher, pp. 19-27, IEEE CS Press, 1991
20. A. Sabelfeld, D. Sands, “Probabilistic Noninterference for Multi-threaded Programs”, in Proc. of the 13th Computer Security Foundations Workshop, IEEE CS Press, 2000
21. R. Segala, N.A. Lynch, “Probabilistic Simulations for Probabilistic Processes”, in Proc. of the 5th Int. Conf. on Concurrency Theory, LNCS 836, pp. 481-496, Springer-Verlag, 1994
22. G. Smith, “Weak Probabilistic Bisimulation for Secure Information Flow”, 2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security, 2002
23. J. Zhou, D. Gollmann, “An Efficient Non-repudiation Protocol”, in Proc. of the 10th Computer Security Foundations Workshop, pp. 126-132, IEEE CS Press, 1997