程序行为控制的语义约束方法研究
基本信息
批准号：60473053
项目类别：面上项目
资助金额：23.00
负责人：曾庆凯
学科分类：
依托单位：南京大学
批准年份：2004
结题年份：2007
起止时间：2005-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：黄皓,张德富,吴迎红,吕志军,袁卫忠,赖海光,吴琨,姚力哲,梁昌宇
关键词：
程序状态监控程序行为控制语义约束
结项摘要
本课题研究的重点在于保障软件在运行和维护时的安全性，即保证程序按照正常的轨迹运行，不产生异常的动作。目前研究包括静态分析、动态保护、监视执行以及访问控制等方面。这些技术都有一定的局限性。程序安全性问题主要源于程序行为难以被保证按照设计者的意图运行，程序的访问控制未能遵守最小权限原则。为此，我们提出程序行为控制的语义约束方法，为软件设计和开发者提供一套行之有效的方法，描述对程序行为的约束，使程序运行
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于被动变阻尼装置高层结构风振控制效果对比分析
基于被动变阻尼装置高层结构风振控制效果对比分析
DOI：10.13197/j.eeev.2019.05.95.fuwq.009
发表时间：2019
2
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
3
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
DOI：
发表时间：2023
4
机电控制无级变速器执行机构动态响应特性仿真研究
机电控制无级变速器执行机构动态响应特性仿真研究
DOI：10.3969/j.issn.1004-132X.2020.03.001
发表时间：2020
5
汽车侧倾运动安全主动悬架LQG控制器设计方法
汽车侧倾运动安全主动悬架LQG控制器设计方法
DOI：
发表时间：2017
曾庆凯的其他基金
批准号：61170070
批准年份：2011
资助金额：55.00
项目类别：面上项目
批准号：61572248
批准年份：2015
资助金额：16.00
项目类别：面上项目
批准号：61772266
批准年份：2017
资助金额：63.00
项目类别：面上项目
批准号：60773170
批准年份：2007
资助金额：27.00
项目类别：面上项目
相似国自然基金
1
基于回答集语义的约束逻辑程序设计
批准号：60573009
批准年份：2005
负责人：张明义
学科分类：F0201
资助金额：26.00
项目类别：面上项目
2
抽象约束回答集程序关键问题及在语义Web中的应用研究
批准号：60970045
批准年份：2009
负责人：沈一栋
学科分类：F0201
资助金额：31.00
项目类别：面上项目
3
约束推理与约束程序
批准号：60073039
批准年份：2000
负责人：孙吉贵
学科分类：F0201
资助金额：15.00
项目类别：面上项目
4
约束推理与约束程序
批准号：60473003
批准年份：2004
负责人：孙吉贵
学科分类：F0201
资助金额：23.00
项目类别：面上项目