Automatic Analysis of a Non-Repudiation Protocol

Electronic Notes in Theoretical Computer Science

Volumn 112, Issue SPEC. ISS., 2005, Pages 113-129

  Lanotte, Ruggero ^a   Maggiolo Schettini, Andrea ^b   Troina, Angelo ^b  

^a UNIVERSITY OF INSUBRIA   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Crypto protocol; Fairness; Non repudiation protocol; PRISM model checker; Probabilistic algorithm; Probabilistic model

Indexed keywords

CRYPTO-PROTOCOLS; FAIRNESS; NON-REPUDIATION PROTOCOLS; PRISM MODEL CHECKER; PROBABILISTIC ALGORITHM; PROBABILISTIC MODELS;

ALGORITHMS; COMPUTER SIMULATION; CRYPTOGRAPHY; ESTIMATION; MATHEMATICAL MODELS; PROBABILITY;

NETWORK PROTOCOLS;

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

References (13)

1. PRISM URL http://www.cs.bham.ac.uk/~dxp/prism
2. A. Aldini, and R. Gorrieri Security Analysis of a Probabilistic Non-repudiation Protocol Proc. of PAPM-PROBMIV '02 LNCS 2399 2002 17 36
3. R. Alur, C. Courcoubetis, and D.L. Dill Verifying Automata Specifications of Probabilistic Real-Time Systems Real-Time:Theory in Practice LNCS 600 1992 28 44
4. C. Baier, and M. Kwiatowska Model Checking for a Probabilistic Branching Time Logic with Fairness Distributed Computing 11 3 1998 125 155
5. D. Beauquier On Probabilistic Timed Automata Theoretical Computer Science 292 2003 65 84
6. A. Bianco, and L. de Alfaro Model Checking of Probabilistic and Nondeterministic Systems Proc. Int. Conference on Foundation of Software Technologies and Theoretical Computer Science LNCS 1026 1995 499 513
7. P.R. Halmos Measure Theory 1950 Springer-Verlag
8. H. Hansson, and B. Jonsson A Logic for Reasoning About Time and Probability Formal Aspects of Computing 6 5 1994 512 535
9. M. Kwiatkowska Model Checking for Probability and Time: From Theory to Practice LICS'03 2003 IEEE CS Press 351 360
10. M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston Automatic Verification of Real-time Systems with Discrete Probability Distribution ARTS'99 LNCS 1601 1999 75 95
11. M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs CONCUR'00 LNCS 1877 2000 123 137
12. R. Lanotte, A. Maggiolo-Schettini, and A. Troina Weak Bisimulation for Probabilistic Timed Automata and Applications to Security SEFM'03 2003 IEEE CS Press 34 43
13. O. Markowitch, Y. Roggeman: Probabilistic Non-Repudiation without Trusted Third Party. 2nd Conference on Security in Communication Network, 1999