Model checking for design and assurance of e-Business processes
- 31 May 2005
- journal article
- Published by Elsevier BV in Decision Support Systems
- Vol. 39 (3), 333-344
- https://doi.org/10.1016/j.dss.2003.12.001
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Failure analysis of an e-commerce protocol using model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An Optimistic Fair Exchange E-commerce Protocol with Automated Dispute ResolutionLecture Notes in Computer Science, 2000
- E-process design and assurance using model checkingComputer, 2000
- Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDRLecture Notes in Computer Science, 1996
- Untraceable Electronic CashLecture Notes in Computer Science, 1990