计算机工程与应用2006，Vol.42Issue(21)：64-67,73,5.
基于Coq构造携带证明的安全程序
Building Proof-Carrying Security Programs Based on Coq
摘要
关键词
高可信软件/安全程序/形式化证明方法/证明工具Coq分类
信息技术与安全科学引用本文复制引用
郭丽,陈意云,李隆,李兆鹏..基于Coq构造携带证明的安全程序[J].计算机工程与应用,2006,42(21):64-67,73,5.基金项目
国家自然科学基金资助项目(编号:60473068) （编号:60473068）
Intel中国研究中心资助项目 （）
