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/3978

Title: Rewriting-Based Verification of Authentication Protocols
Authors: Ogata, Kazuhiro
Futatsugi, Kokichi
Issue Date: 2004-04
Publisher: ELSEVIER SCIENCE B.V AMSTERDAM
Magazine name: Electronic Notes in Theoretical Computer Science
Volume: 71
Start page: 208
End page: 222
DOI: 10.1016/S1571-0661(05)82536-8
Abstract: We propose a method of formally analysing security protocols based on rewriting. The method is roughly as follows. A security protocol is modeled as an observational transition system, which is described in CafeOBJ. Proof scores showing that the protocol has safety (security) properties are then written in CafeOBJ and the proof scores are executed (rewritten) by the CafeOBJ system.
Rights: Elsevier B.V., Electronic Notes in Theoretical Computer Science, 71, 2004, 208-222. http://www.sciencedirect.com/science/journal/15710661
Type: Article
URI: http://hdl.handle.net/10119/3978
Material Type: author
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
S-61.pdf286KbAdobe 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