密码协议的Promela语言建模及分析
龙士工，王巧丽，李祥
Promela modeling and analysis for security protocol
LONG Shi-gong，WANG Qiao-li，LI Xiang
计算机应用 . 2005, (07): 1548 -1550 .  DOI: 10.3724/SP.J.1087.2005.01548

版权所有 © 2021 四川计算机应用杂志社有限公司
蜀ICP备 05010208 号-3　新出网证(川)字026号
技术支持：北京玛格泰克科技发展有限公司
访问总数：
今日访问：