赵洋, 徐晓刚, 张功萱, 张容. 可信软件代码中程序标注的使用及类型验证[J]. 武汉大学学报 ( 信息科学版), 2010, 35(5): 570-573.
引用本文: 赵洋, 徐晓刚, 张功萱, 张容. 可信软件代码中程序标注的使用及类型验证[J]. 武汉大学学报 ( 信息科学版), 2010, 35(5): 570-573.
shu
ZHAO Yang, XU Xiaogang, ZHANG Gongxuan, ZHANG Rong. Employment of Program Annotations in Trusted Code and Their Type Verification[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 570-573.
Citation: ZHAO Yang, XU Xiaogang, ZHANG Gongxuan, ZHANG Rong. Employment of Program Annotations in Trusted Code and Their Type Verification[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 570-573.
shu

可信软件代码中程序标注的使用及类型验证

Employment of Program Annotations in Trusted Code and Their Type Verification

    摘要
  • 摘要: 程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。

     

    Abstract: We propose to use the permission system to act as a bridge connecting program annotations and program code.Within the permissions,we could verify the credibilities and safety properties of the program from the level of source code.Thus the reliability and maintainability of software systems could be improved.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回