Attacking smart card systems: Theory and practice

Smart card technology has evolved over the last few years following notable improvements in the underlying hardware and software platforms. Advanced smart card microprocessors, along with robust smart card operating systems and platforms, contribute towards a broader acceptance of the technology. These improvements have eliminated some of the traditional smart card security concerns. However, researchers and hackers are constantly looking for new issues and vulnerabilities. In this article we provide a brief overview of the main smart card attack categories and their corresponding countermeasures. We also provide examples of well-documented attacks on systems that use smart card technology (e.g. satellite TV, EMV, proximity identification) in an attempt to highlight the importance of the security of the overall system rather than just the smart card.     

针对EMVLevel1 Analog Test认证的金融支付PCD设计与调试

文章针对最新版EMV Level 1标准,对PCD的EMV Level 1 Analog test认证的检测环境及检测项目进行总结,对实际测试中可能遇到的问题进行分析,总结出其技术难点。针对这些难点提出PCD设计中需要重点关注的方面以及设计技巧,进一步给出调试中使用怎样的方法达到系统的最优配置,成功通过EMV Level1 Analog test的检测。     

EMV96的潜在缺陷和改进意见

EMV96是Europay、MasterCard、Visa提出的目前具有代表性的IC卡交易规范.相当多的IC卡交易系统和规范都建立EMV96的基础之上.本文系统地分析了EMV96的交易协议中的安全机制,得出EMV96用以实现应用的一些重要安全性假设;进一步分析表明:EMV96的一些假设使得EMV96不能很好地满足交易的四个条件,在不改变交易流程的前提下,针对EMV96的潜在缺陷,提出相应的改进意见.     

静磁场和交流电耦合作用下超薄板坯水平连铸的凝固组织

研究在电磁振荡作用下,金属超薄板坯水平连铸的凝固组织及其与电流强度的关系。结果显示,在静磁场和交流电正交所产生的电磁振荡力的作用下,水平连铸纯Sn超薄板坯的凝固组织明显细化,且细化效果随所施电流的增大而增强;而对Sn-10%Pb合金超薄板坯,则显著地促进其等轴晶组织的形成,使其中心层面出现等轴晶区,该等轴晶层的厚度随电流强度增大而增加。实验结果表明,电磁振荡作用有利于抑制柱状晶对穿、中心疏松、夹杂和/或气体聚集、以及偏析等超薄板坯水平连铸中常见的凝固缺陷。     

效用理论在建筑工程招投标风险决策中的应用

从效用理论的基本原理出发 ,通过实例说明 ,在建筑工程招投决策中考虑不同决策者对待风险的态度 ,利用期望效用值法进行决策的现实意义     

A systematic security analysis of EMV protocol

EMV is the leading and widely used international standard for payment with smart cards. The EMV specification defines a highly configurable toolkit for payment protocols, which allows different combinations of card authentication, cardholder authentication and transaction authorization. Due to its complexity and its flexibility, it is difficult to comprehensively analyze the security of EMV standard, yet it is critical to obtain practical security guarantees for EMV. In this paper, we present the first systematic and formal treatment of EMV protocol. We introduce a three-party security model, covering all known kinds of combinations and providing reasonably strong security notions. Furthermore, via a modular approach, we prove that the EMV protocol with reasonable improvement can achieve our desired security. We also identify various known attacks on EMV protocol in our security model.     

A study on the design of electromagnetic valve actuator for VVT engine

Electromagnetic valve (EMV) actuation system is a new technology for improving fuel efficiency and at the same time reducing emissions in internal combustion engines. It can provide more flexibility in valve event control compared with conventional variable valve actuation devices. The electromagnetic valve actuator must be designed by taking the operating conditions and engine geometry limits of the internal combustion engine into account. To help develop a simple design method, this paper presents a procedure for determine the basic design parameters and dimensions of the actuator from the relations of the valve dynamics, electromagnetic circuit and thermal loading condition based on the lumped method. To verify the accuracy of the lumped method analysis, experimental study is also carried out on a prototype actuator. It is found that there is a relatively good agreement between the experimental data and the results of the proposed design procedure. Through the whole speed range, the actuator maintains proper performances in valve timing and event control.     

EMV迁移过程中的新型双界面金融卡

文章介绍了一种新型的双界面金融卡,采用射频耦合技术,实现双界面金融卡的优化设计。射频天线和非接触智能卡模块之间无需电性连接,即可实现射频通信。产品生产工艺简单,有效提高了产品合格率和产品可靠性,同时也大幅度降低了产品成本。     

金融IC卡认证体系及其安全性分析

IC卡固有的安全性成为国外EMV迁移和国内PBOC2．0金融IC卡迁移的主要动力之一。论文通过讨论当前主流的IC卡认证体系中IC卡数据认证、持卡人认证、交易认证和安全报文这4个主要部分,分析了该认证体系的安全性。     

新一代银行卡的发展及应用

本文阐述了银行卡的最新发展以及EMV标准的制定对银行卡所起的作用。比较了目前各种多应用智能卡平台的应用方案,并指出Java Card在新一代银行卡应用中所能发挥的作用及其发展前景。