Netinfo Security

›› 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   

PDF (PC)

97

Abstract: smart card%Event-B%formal method%theory proof