欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
本课题研究的重点在于保障软件在运行和维护时的安全性，即保证程序按照正常的轨迹运行，不产生异常的动作。目前研究包括静态分析、动态保护、监视执行以及访问控制等方面。这些技术都有一定的局限性。程序安全性问题主要源于程序行为难以被保证按照设计者的意图运行，程序的访问控制未能遵守最小权限原则。为此，我们提出程序行为控制的语义约束方法，为软件设计和开发者提供一套行之有效的方法，描述对程序行为的约束，使程序运行
结论摘要：
本课题的研究目标在于保障软件在运行和维护时的安全性。研究的程序行为控制的语义约束方法，通过描述对程序行为的约束和控制（安全策略），并监视和控制程序动态行为，使程序运行时满足约束，以保证程序的运行安全。安全策略描述程序的权限和行为约束，也提供程序运行状态的监控能力。课题研究了面向程序行为控制的程序行为模型和框架，安全策略的描述和验证，程序行为监控机制以及软件安全性保证方法。将静态和动态技术相结合、约束与监控技术相结合，使程序安全的防护由被动防护转向主动防护。课题不仅研究了软件安全的理论、模型和方法，而且也实现了安全软件辅助开发工具，对提高软件安全性具有重要意义。
成果综合统计
期刊论文
会议论文
专利
获奖
著作
相关项目
曾庆凯的项目
