计算机工程2007，Vol.33Issue(3)：163-166,4.
概率非否认协议的模型检测分析
Model Checking Analysis of Probabilistic Non-repudiation Protocol
摘要
关键词
非否认/概率模型检测/PRISM/有限状态机分类
信息技术与安全科学引用本文复制引用
董荣胜,陈大伟,郭云川,古天龙..概率非否认协议的模型检测分析[J].计算机工程,2007,33(3):163-166,4.基金项目
广西壮族自治区自然科学基金资助项目(桂科自 0542052) （桂科自 0542052）
