Formal analysis of a model for electronic payment systems

机译：电子支付系统模型的正式分析

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

A model that generalizes credit-card-based electronic payment systems is analyzed by BAN logic and Kailar logic. This paper extends Kailar logic to process the analysis of ciphertext. This paper provides a new method to analyze ciphertext.

机译：通过禁令逻辑和Kailar逻辑分析了一种概括基于信用卡的电子支付系统的模型。本文扩展了Kailar逻辑来处理密文的分析。本文提供了一种分析密文的新方法。

著录项

来源
《International Conference on Communication and Electronic Information Engineering》|2017年|523p|共8页
会议地点
作者
Chen Wang; Ni-Na Shu; Huai-Xi Wang;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TN91-53;
关键词
Electronic Payment; Formal Analysis; BAN Logic; Kailar Logic;

机译：电子支付;正式分析;禁止逻辑;Kailar逻辑;

相似文献

外文文献
中文文献
专利

1. Formal Method for Security Analysis of Electronic Payment Protocols [J] . Yi LIU, Qingkun MENG, Xingtong LIU, IEICE transactions on information and systems . 2018,第9期

机译：电子支付协议安全性分析的形式化方法
2. Formal modelling and security analysis of Bitcoin's payment protocol [J] . Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Computers & Security . 2021,第Auga期

机译：比特币支付协议的正式建模与安全分析
3. Can mobile and biometric payments replace cards in the Korean offline payments market? Consumer preference analysis for payment systems using a discrete choice model [J] . Kim Minji, Kim Seho, Kim Junghun Telematics and Informatics . 2019,第MAY期

机译：移动支付和生物识别支付能否取代韩国离线支付市场中的卡？使用离散选择模型的支付系统的消费者偏好分析
4. Formal analysis of a model for electronic payment systems [C] . Chen Wang, Ni-Na Shu, Huai-Xi Wang International Conference on Communication and Electronic Information Engineering . 2017

机译：电子支付系统模型的正式分析
5. Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking. [D] . Chang, Che-Wei. 2015

机译：使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
6. Computational Modeling, Formal Analysis, and Tools for Systems Biology [O] . Ezio Bartocci, Pietro Lió 2017

机译：计算建模，形式分析和系统生物学工具
7. Formal Analysis of a Model For Electronic Payment Systems [O] . Chen Wang, Nina Shu, Huaixi Wang 2017

机译：电子支付系统模型的正式分析

Formal analysis of a model for electronic payment systems

摘要

著录项

相似文献

相关主题

期刊订阅