密码软件相关论文
在过去20年里，美国政府除了劝阻制造商在产品(甚至国货)中加入密码软件外，还严格限制着密码软件的出口。那些程序代码出现在国外的美......
在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推......
