Event Based Formalization of Communication Properties for an E-Commerce Protocol: An Event-B Approach

El Mimouni, S; Bouhdadi, M

El Mimouni, S (reprint author), Mohammed V Univ, LMPHE Lab, Fac Sci, Rabat, Morocco.

INTERNATIONAL JOURNAL OF ENGINEERING RESEARCH IN AFRICA, 2018; 37 (): 78

Abstract

The objective of this paper aims at modeling and analysis of communication properties of an E-commerce protocol with the Event-B language. NetBill pro......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索