可信密码模块的模型检测分析
陈小峰,冯登国
Model checking of trusted cryptographic module
Xiao-feng CHEN,Deng-guo FENG
通信学报 . 2010, (1): 59 -64 .  DOI: 1000-436X(2010)01-0059-06