操作系统形式化设计与安全需求的一致性验证研究.pdfVIP

第卷第期 计 算 机 学 报 ３７ ５ 　 　　　　　　　　 Ｖｏｌ．３７ Ｎｏ．５ 年月 ２０１４ ５ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｍａ ２０１４ｙ 　 操作系统形式化设计与安全需求的一致性验证研究 ），），） ） ） １ ２ ３ １ １ 钱振江 黄皓 宋方敏 　 　 １） （南京大学