There is tremendous demand for the ability to be able to electronically buy and sell goods over networks. This field is called electronic commerce, and it has inspired a large var...
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
Electronic Commerce is now seen as the future direction of commerce. Organisations are now developing and implementing a wide range of electronic commerce systems However, before o...