[发明专利]一种基于COP的增强软件安全性的方法有效
| 申请号: | 201210405414.3 | 申请日: | 2012-10-23 |
| 公开(公告)号: | CN102938038A | 公开(公告)日: | 2013-02-20 |
| 发明(设计)人: | 吕建;徐锋;陈智勇 | 申请(专利权)人: | 南京大学 |
| 主分类号: | G06F21/54 | 分类号: | G06F21/54 |
| 代理公司: | 江苏圣典律师事务所 32237 | 代理人: | 贺翔 |
| 地址: | 210000 江苏省南京*** | 国省代码: | 江苏;32 |
| 权利要求书: | 查看更多 | 说明书: | 查看更多 |
| 摘要: | 本发明所述的一种基于COP的增强软件安全性的方法,首先定义应用程序中每个类需要的上下文信息所相关的层;采用一个规约描述语言解析器,自动生成符合COP方法的有安全规约验证的新代码,动态插入原先的代码中;在应用程序运行过程,上下文信息收集线程按一定频率采集传感器数据及函数的调用情况,并发送到事件处理器;如果满足定义的安全触发条件则激活对原有程序流程的反馈控制,暂停或改变原有程序的执行;如果条件状态由满足变为不满足则恢复原有程序的执行。本发明提供了一个以上下文保存为核心的运行支撑机制,提高了程序运行的安全性。 | ||
| 搜索关键词: | 一种 基于 cop 增强 软件 安全性 方法 | ||
【主权项】:
一种基于COP的增强软件安全性的方法,其特征在于包括以下步骤:1)定义应用程序中每个类需要的上下文信息所相关的层;2)采用一个规约描述语言解析器,自动生成符合COP方法的有安全规约验证的新代码,动态插入原先的代码中;新代码中包括有传感器数据信息;3)在应用程序运行过程,上下文信息收集线程按一定频率采集传感器数据及函数的调用情况,并发送到事件处理器;4)事件处理器检测事件是否满足定义的安全控制触发条件,根据结果分别为;a.如果满足定义的安全触发条件则激活对原有程序流程的反馈控制,暂停或改变原有程序的执行;b.如果条件状态由满足变为不满足则恢复原有程序的执行。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于南京大学,未经南京大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201210405414.3/,转载请声明来源钻瓜专利网。
- 上一篇:一种镜头模组检测装置
- 下一篇:金刚石制笔刀具





