We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS.
- Authors
OGATA, KAZUHIRO; FUTATSUGI, KOKICHI
- 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.
- Subjects
ELECTRONIC commerce; FORMAL methods (Computer science); REWRITING systems (Computer science); TECHNICAL specifications; VERIFICATION of computer systems
- Publication
International Journal of Software Engineering & Knowledge Engineering, 2010, Vol 20, Issue 2, p253
- ISSN
0218-1940
- Publication type
Article
- DOI
10.1142/S0218194010004712