留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

赵洋 徐晓刚 张功萱 张容

赵洋, 徐晓刚, 张功萱, 张容. 可信软件代码中程序标注的使用及类型验证[J]. 武汉大学学报 ● 信息科学版, 2010, 35(5): 570-573.
引用本文: 赵洋, 徐晓刚, 张功萱, 张容. 可信软件代码中程序标注的使用及类型验证[J]. 武汉大学学报 ● 信息科学版, 2010, 35(5): 570-573.
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.

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

基金项目: 国家自然科学基金资助项目(60850002);高等学校博士学科点专项科研基金资助项目(20093219120026);南京理工大学科技发展基金资助项目(XKF09017)
详细信息
    作者简介:

    赵洋,博士,讲师,主要研究方向为可信软件、程序静态分析、类型系统。

  • 中图分类号: TP311.53

Employment of Program Annotations in Trusted Code and Their Type Verification

Funds: 国家自然科学基金资助项目(60850002);高等学校博士学科点专项科研基金资助项目(20093219120026);南京理工大学科技发展基金资助项目(XKF09017)
计量
  • 文章访问数:  667
  • HTML全文浏览量:  16
  • PDF下载量:  279
  • 被引次数: 0
出版历程
  • 收稿日期:  2010-03-15
  • 修回日期:  2013-07-09
  • 刊出日期:  2010-05-05

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

    基金项目:  国家自然科学基金资助项目(60850002);高等学校博士学科点专项科研基金资助项目(20093219120026);南京理工大学科技发展基金资助项目(XKF09017)
    作者简介:

    赵洋,博士,讲师,主要研究方向为可信软件、程序静态分析、类型系统。

  • 中图分类号: TP311.53

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

English Abstract

赵洋, 徐晓刚, 张功萱, 张容. 可信软件代码中程序标注的使用及类型验证[J]. 武汉大学学报 ● 信息科学版, 2010, 35(5): 570-573.
引用本文: 赵洋, 徐晓刚, 张功萱, 张容. 可信软件代码中程序标注的使用及类型验证[J]. 武汉大学学报 ● 信息科学版, 2010, 35(5): 570-573.
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.

目录

    /

    返回文章
    返回