Anticollision Technology of Type A Cards Based on FiniteState Automata
-
摘要: 在分析了Type A非接触智能卡防冲突的基本工作原理的基础上,采用有限状态机模型对卡上位冲突检测协议的实现算法进行了数学表述和状态转换的设计,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程.最后,在智能卡芯片上实现了防冲突协议,实际应用证明系统运行正确.Abstract: Based on the basic anticollision theory of Type A contactless smart cards, arithmetic description and state transition of bit collision detection protocol algorithm on cards were designed by finite state automata model. Anticollision procedures on cards were described with the virtue of a state diagram of UML. At last, anticollision protocol was implemented on cards. Practical application shows that this design model is correct.
-
Key words:
- finite state automata /
- state /
- radio frequency /
- smart card /
- Type A /
- anticollision /
- UML
-
[1] 王爱英.智能卡技术[M].北京:清华大学出版社,1996.1~21 Wang Aiying. Technology of smart cards[M]. Beijing:Tsinghua University Press, 1996 [2] ISO/IEC 14443-3. Identification cards-Contactless integrated circuit(s) cards-Proximity Cards-Part 2:Radio frequency power and signal interface[S] [3] ISO/IEC 14443-3. Identification cards-Contactless integrated circuit(s) cards- Proximity Cards-Part 3:Initialization and anticollision[S] [4] ISO/IEC 14443-4, Identification cards-Contactless integrated circuit(s) cards- Proximity Cards - Part 4:Transmission Protocol[S] -
点击查看大图
计量
- 文章访问数: 2622
- HTML全文浏览量: 185
- PDF下载量: 8
- 被引次数: 0
下载:
