一种构造代码安全性证明的方法.pdfVIP

ISSN RUXUEW 1000-9825，CODEN 30urnal 9。No．10，October2008，PP．2720--2727 ofSoftware,V01．1 DOI：10．3724／SP．J．1001．2008．02720 o2008Journal reserved． by ofSoftware．Allrights 一种构造代码安全性证明的方法· 郭宇1甜，陈意云L2，林春晓1，2 1(中国科学技术大学计算机科学技术系，安徽合肥230027) 2(中国科学技术大学苏州研究院软件安全实验室，江苏苏州215123) AMethodforCode ProofConstruction Safety GUO Chun．Xia01．2 Yul一，CHENYi．YunL2，LIN Scienceand ofScienceand ofChina，Hefei 1(DepartmentofComputer Technology，UniversityTechnology 230027，China)