摘要
在分析了TypeB非接触智能卡防冲突的基本工作原理的基础上,采用有限状态机模型对卡上防冲突协议的实现算法进行了数学表述和状态转换的设计,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程。最后,在智能卡芯片上实现了防冲突协议,实际应用证明系统运行正确。
Based on the basic anticollision theory of Type B contactless smart cards,arithmetic description and state transition of anticollision protocol algorithm on cards are designed by finite state automata model.Anticollision procedures on cards are described with the virtue of a state diagram of UML.At last,anticollision protocol is implemented on cards.Practical application shows that this design model is correct.
出处
《计算机工程与应用》
CSCD
北大核心
2003年第26期137-139,共3页
Computer Engineering and Applications
