A Formal Model of Distributed Security for Electronic Commerce Transactions Systems. - Sylvanus A. Ehikioya; Adepele A. Olukunle (Int. J. Networked Distributed Comput., 2019)