Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- PRISM: A Tool for Automatic Verification of Probabilistic SystemsLecture Notes in Computer Science, 2006
- Automatic Analysis of a Non-Repudiation ProtocolElectronic Notes in Theoretical Computer Science, 2005
- On Quantitative Analysis of Probabilistic ProtocolsElectronic Notes in Theoretical Computer Science, 2005
- Security Analysis of a Probabilistic Non-repudiation ProtocolLecture Notes in Computer Science, 2002
- A Game-Based Verification of Non-repudiation and Fair Exchange ProtocolsLecture Notes in Computer Science, 2001
- Observations on non-repudiationPublished by Springer Science and Business Media LLC ,1996