期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种面向软件行为可信性的入侵检测方法
被引量：
2
1
作者
王新志
孙乐昌
+1 位作者
陆余良
张旻
《中国科学技术大学学报》
CAS
CSCD
北大核心
2011年第7期626-635,共10页
针对现有入侵检测方法的问题,面向软件行为可信需求,提出了一种新的静态检测方法.首先讨论并给出了软件行为可信性的定义和形式化描述,并以指令序列形式进行表示;然后,提出了检测方法和流程,通过数据挖掘方法对恶意软件和正常软件进行...
针对现有入侵检测方法的问题,面向软件行为可信需求,提出了一种新的静态检测方法.首先讨论并给出了软件行为可信性的定义和形式化描述,并以指令序列形式进行表示;然后,提出了检测方法和流程,通过数据挖掘方法对恶意软件和正常软件进行行为知识发现,利用发现的行为知识对未知软件进行行为可信性判定;最后,对方法进行了实现,对一些行为模式使用选定的样本进行了实验验证.实验结果表明,该方法能够依据软件行为可信策略检测未知软件中的恶意行为,检测成功率高.
展开更多
关键词
行为可信性
入侵检测
软件
行为
序列模式发现
静态检测
在线阅读
下载PDF
职称材料
层次化行为可信性验证
被引量：
1
2
作者
庄琭
蔡勉
沈昌祥
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2012年第9期1396-1401,共6页
为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证...
为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题.
展开更多
关键词
可信
计算
可信
动态度量
行为可信性
验证
层次化方法
在线阅读
下载PDF
职称材料
网格环境下的可信认证与访问控制技术
3
作者
廖红梅
王潜平
李国欣
《计算机工程与设计》
CSCD
北大核心
2007年第6期1306-1308,共3页
传统的访问控制由身份、授权决定,用户一旦取得一定的资格和权利,在范围内的活动就不再考察其行为的表现,直到另一次授权的改变。在网格环境中无论其身份如何,只要其行为是不安全的,就必须制止其不安全的操作。因此必须要加强对行为的...
传统的访问控制由身份、授权决定,用户一旦取得一定的资格和权利,在范围内的活动就不再考察其行为的表现,直到另一次授权的改变。在网格环境中无论其身份如何,只要其行为是不安全的,就必须制止其不安全的操作。因此必须要加强对行为的监测、记录和控制。只有在现有身份认证的基础上,结合基于行为信任的行为认证与访问控制,不断地考察实体的行为并对其表现进行评价和记录,由其历史表现来决定对其的行为控制,才能真正做到网格环境下的安全交易。
展开更多
关键词
行为
控制
网格安全
行为可信性
可信
认证
访问控制
在线阅读
下载PDF
职称材料
题名
一种面向软件行为可信性的入侵检测方法
被引量：
2
1
作者
王新志
孙乐昌
陆余良
张旻
机构
电子工程学院
出处
《中国科学技术大学学报》
CAS
CSCD
北大核心
2011年第7期626-635,共10页
基金
国家自然科学基金(60972161)资助
文摘
针对现有入侵检测方法的问题,面向软件行为可信需求,提出了一种新的静态检测方法.首先讨论并给出了软件行为可信性的定义和形式化描述,并以指令序列形式进行表示;然后,提出了检测方法和流程,通过数据挖掘方法对恶意软件和正常软件进行行为知识发现,利用发现的行为知识对未知软件进行行为可信性判定;最后,对方法进行了实现,对一些行为模式使用选定的样本进行了实验验证.实验结果表明,该方法能够依据软件行为可信策略检测未知软件中的恶意行为,检测成功率高.
关键词
行为可信性
入侵检测
软件
行为
序列模式发现
静态检测
Keywords
software trustworthiness
intrusion detection
software behavior
sequential pattern discovery
static detection
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
层次化行为可信性验证
被引量：
1
2
作者
庄琭
蔡勉
沈昌祥
机构
北京工业大学计算机学院
可信计算北京市重点实验室
出处
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2012年第9期1396-1401,共6页
基金
国家'973'计划资助项目(2007CB311100)
国家'863'计划资助项目(2009AA012437)
国家'核高基'资助项目(2010ZX01037-001-001)
文摘
为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题.
关键词
可信
计算
可信
动态度量
行为可信性
验证
层次化方法
Keywords
trusted computing
trusted dynamic measurement
verification of behavior trustworthiness
hierarchical method
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
网格环境下的可信认证与访问控制技术
3
作者
廖红梅
王潜平
李国欣
机构
中国矿业大学计算机学院
中国矿业大学信电学院
出处
《计算机工程与设计》
CSCD
北大核心
2007年第6期1306-1308,共3页
文摘
传统的访问控制由身份、授权决定,用户一旦取得一定的资格和权利,在范围内的活动就不再考察其行为的表现,直到另一次授权的改变。在网格环境中无论其身份如何,只要其行为是不安全的,就必须制止其不安全的操作。因此必须要加强对行为的监测、记录和控制。只有在现有身份认证的基础上,结合基于行为信任的行为认证与访问控制,不断地考察实体的行为并对其表现进行评价和记录,由其历史表现来决定对其的行为控制,才能真正做到网格环境下的安全交易。
关键词
行为
控制
网格安全
行为可信性
可信
认证
访问控制
Keywords
behavior control
grid security
behavior creditability
certification based on creditability
access control
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种面向软件行为可信性的入侵检测方法
王新志
孙乐昌
陆余良
张旻
《中国科学技术大学学报》
CAS
CSCD
北大核心
2011
2
在线阅读
下载PDF
职称材料
2
层次化行为可信性验证
庄琭
蔡勉
沈昌祥
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2012
1
在线阅读
下载PDF
职称材料
3
网格环境下的可信认证与访问控制技术
廖红梅
王潜平
李国欣
《计算机工程与设计》
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
