|
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/9947
|
| Title: | Proof Score Approach to Analysis of Electronic Commerce Protocols |
| Authors: | Ogata, Kazuhiro
Futatsugi, Kokichi |
| Keywords: | Algebraic specification
formal methods
security
rewriting
specification
verification |
| Issue Date: | 2010 |
| Publisher: | World Scientific Publishing |
| Magazine name: | International Journal of Software Engineering and Knowledge Engineering |
| Volume: | 20 |
| Number: | 2 |
| Start page: | 253 |
| End page: | 287 |
| DOI: | 10.1142/S0218194010004712 |
| Abstract: | Proof scores are documents of comprehensible plans to prove theorems. The proof score approach to systems analysis is a method in which proof scores are used to verify that systems enjoy properties (or analyze systems). In this paper, we describe a way to analyze electronic commerce protocols with the proof score approach, which has been developed and refined through several case studies conducted. |
| Rights: | Electronic version of an article published as International Journal of Software Engineering and Knowledge Engineering, 20(2), 2010, 253-287. DOI:10.1142/S0218194010004712. Copyright World Scientific Publishing Company, http://dx.doi.org/10.1142/S0218194010004712 |
| URI: | https://hdl.handle.net/10119/9947 |
| Material Type: | author |
| Appears in Collections: | b10-1. 雑誌掲載論文 (Journal Articles)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| 15823.pdf | | 264Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
