JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/7890

Title: On-the-Fly Model Checking of Fair Non-repudiation Protocols
Authors: Li, Guoqiang
Ogawa, Mizuhito
Issue Date: 2007
Publisher: Springer
Magazine name: Lecture Notes in Computer Science
Volume: 4762
Start page: 511
End page: 522
DOI: 10.1007/978-3-540-75596-8_36
Abstract: A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communication; (2) no principals can obtain evidence while the other principals cannot do so. This paper extends the model in our previous work [12], and gives a sound and complete on-the-fly model checking method for fair non-repudiation protocols under the assumption of a bounded number of sessions. We also implement the method using Maude. Our experiments automatically detect flaws of several fair non-repudiation protocols.
Rights: This is the author-created version of Springer, Guoqiang Li, Mizuhito Ogawa, Lecture Notes in Computer Science, 4762, 2007, 511-522. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-540-75596-8_36
URI: http://hdl.handle.net/10119/7890
Material Type: author
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
C11700.pdf216KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology