Application and Extention of Kailar Logic

摘要：

A model for credit-card-based electronic payment systems is analyzed through BAN logic and Kailar logic. And against its lack of the mechanism of ciphertext analysis) Kailar logic is extended to process the analysis of ciphertext.

关键词： electronic payment BAN logic Kailar logic formal analysis

作者: Shu Ni-Na Liu Ke-Sheng

作者单位: Electronic Engineering Institute 460 Huangshan Rd.,Hefei, Anhui,P.R.China

会议类型: 国际会议

会议名称: 2010 International Conference on Information Security and Artificial Intelligence(2010年信息安全与人工智能国际会议 ISAI 2010)

会议地点: 成都

会议语种:英文

页码: 1067-1070

在线出版日期: 2010-12-17（万方平台首次上网日期，不代表论文的发表时间）