›› 2013, Vol. 13 ›› Issue (12): 0-0.
• 信息网络安全 •
基于模型的开发方法在多应用智能卡中的应用
章玥;郭建;朱晓冉
Application of Model-based Development Method in Multi-Application Smart Cards
ZHANG Yue%GUO Jian%ZHU Xiao-ran
摘要： Reliability and security are two important aspects for embedded software. A model-based development method was proposed for better development of reliable and secure embedded software. It consists of extracting requirement, establishing abstract model, an