A Novel Logic for Analyzing Electronic Payment Protocols
نویسندگان
چکیده
منابع مشابه
A Scheme for Analyzing Electronic Payment Systems
This paper presents a scheme for the design, analysis and comparison of electronic payment systems. Three systems are described in detail through this scheme.
متن کاملNovel Logical Method for Security Analysis of Electronic Payment Protocols
Electronic payment protocols play a vital role in electronic commerce security, which is essential for secure operation of electronic commerce activities. Formal method is an effective way to verify the security of protocols. But current formal method lacks the description and analysis of timeliness in electronic payment protocols. In order to improve analysis ability, a novel approach to analy...
متن کاملVerifiable Transaction Atomicity for Electronic Payment Protocols
We study the transaction atomicity problem for designing electronic payment protocols in distributed systems. We observe that the techniques that are used to guarantee transaction atomicity in a database system are not robust enough to guarantee transaction atomicity in an electronic payment system, in which a set of dishonest or malicious participants may exhibit unpredictable behavior and cau...
متن کاملAutomatic Verification of Security in Payment Protocols for Electronic Commerce
In order to make secure transactions over computer networks, various cryptographic protocols have been proposed but, because of subtleties involved in their design, many of them have been shown to have flaws, even a long time after their publication. For this reason, several automatic verification methods for analyzing these protocols have been devised. The aim of this paper is to present a met...
متن کاملiKP - A Family of Secure Electronic Payment Protocols
This paper proposes a family of protocols { iKP (i = 1; 2; 3) { for secure electronic payments over the Internet. The protocols implement credit card-based transactions between the customer and the merchant while using the existing nancial network for clearing and authorization. The protocols can be extended to apply to other payment models, such as debit cards and electronic checks. They are b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ITM Web of Conferences
سال: 2016
ISSN: 2271-2097
DOI: 10.1051/itmconf/20160701002