Model checking for Securing E-commerce transaction

seminar on Model checking for Securing E-commerce transaction : The fast development of electronic commerce (e-commerce) has required the progression of e-commerce methods. These methods guarantee the privacy and reliability of information changed. Moreover, scientists have recognized other suitable attributes, such as, money atomicity, items atomicity and confirmed bill that must be fulfilled by e-commerce methods. This workshop demonstrates how design examining can be used to acquire an guarantee about the lifetime of these attributes in an e-commerce method. It is essential that these suitable attributes be fulfilled, even in the use of site or interaction disaster. Using the design checker we consider which problems cause the breach of one or more of the attributes. The results of the research are then used to recommend a procedure that deals with the problems to make the method disaster long lasting.

No comments:

Post a Comment