|
JAIST Repository >
School of Information Science >
Articles >
Journal Articles >
Please use this identifier to cite or link to this item:
https://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: | https://hdl.handle.net/10119/3978 |
| Material Type: | author |
| Appears in Collections: | b10-1. 雑誌掲載論文 (Journal Articles)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| S-61.pdf | | 286Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
