John HALE


Formal Analysis of E-Commerce Protocols
Mauricio PAPA Oliver BREMER John HALE Sujeet SHENOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/10/01
Vol. E84-D  No. 10  pp. 1313-1323
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Electronic Commerce
Keyword: 
formal methodcryptographye-commerce
 Summary | Full Text:PDF(747.7KB)