Rigorous Design and Implementation of an Emulator for EMV Contactless Payments
Rigorous Design and Implementation of an Emulator for EMV Contactless Payments
复制标题
EMV非接触式支付模拟器的严格设计与实现
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Emms M
中科院分区：
文献类型：
--
作者：
Emms M
登录
查看更多内容
SmartLogic 工具：分析和测试智能卡协议
DOI：
--
发表时间：
2012
期刊：
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
影响因子：
--
作者：
Gerhard de Koning Gans;Joeri de Ruiter
通讯作者：
Joeri de Ruiter
DOI：
--
发表时间：
2000
期刊：
International Conference on Software Technology: Methods and Tools
影响因子：
--
作者：
B. Meyer
通讯作者：
B. Meyer
移动支付系统仿真
DOI：
--
发表时间：
2008
期刊：
International Conference on Systems, Signals, and Image Processing
影响因子：
--
作者：
J. Mohorko;A. Chowdhury;P. Planinsic
通讯作者：
P. Planinsic
移动设备中基于卡的支付系统的形式分析
DOI：
--
发表时间：
2006
期刊：
Australasian Computer Science Week
影响因子：
--
作者：
Vijayakrishnan Pasupathinathan;J. Pieprzyk;Huaxiong Wang;J. Cho
通讯作者：
J. Cho
EASST 电子通信第 46 卷 (2011) 第 11 届关键系统自动验证国际研讨会论文集 (AVoCS 2011) 形式化方法的工业应用经验
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
Janet Barnes
通讯作者：
Janet Barnes