PDF《逻辑的密 的密》

833 [6] Vieira B. Formal Verification of Security Policies of Crypto- graphic Software[EB/OL]. (2010- 09-03). http://www3.dsi.uminho. pt/seeum2010/CD/abstracts/2165-4.pdf. [7] Correnson L, Cuoq P, Puccetti A. Frama-c User Manual[EB/OL]. (2011-02-01). http://frama-c.com/download/frama-c-user-manual. pdf. [8] The Coq Development Team. The Coq Proof Assistant Reference Manual[EB/OL]. (2010- 12-23). http://coq.inria.fr/distrib/V8.3pl1/ files/Reference-Manual.pdf. 本刊中的 本刊中的 本刊中的 本刊中的类 类类类似文章 似文章 似文章 似文章 1. 常亚勤.对流密码RC4的区分攻击[J]. 计算机工程, 2011,37(3): 119-120,123 2. 陈亚莎, 胡俊, 沈昌祥.可信应用环境的安全性验证方法[J]. 计算机工程, 2011,37(23): 152-154 3. 梁盟磊, 王小平, 薛小平, 李刚.基于TLA的UML模型形式化验证[J]. 计算机工程, 2011,37(2): 72-74 4. 刘宴兵, 田四梅, 唐浩坤, 吕淑品.基于混沌的RC4流加密算法[J]. 计算机工程, 2011,37(2): 136-138 5. 全嘉辉, 张欢欢.基于FeaVer的MINIX 3验证和改进[J]. 计算机工程, 2010,36(22): 46-48 6. 喻超, 毋国庆.基于SAT工具的限界模型检测归约方法[J]. 计算机工程, 2010,36(17): 60-62 7.方小丽;

陈昊鹏.基于SOFL规约的复审理论及实现[J]. 计算机工程, 2006,32(18): 61-63 文章 文章 文章 文章评论 评论 评论 评论 反馈 人 邮箱地址 反馈 标题 验证码 反馈

5 5 Copyright by 计算机工程