您的位置: 专家智库 > >

国家自然科学基金(60473021)

作品数:28 被引量:60H指数:5
相关作者:祝跃飞陈莉刘楠柴争义张浩军更多>>
相关机构:解放军信息工程大学中国人民解放军信息工程大学河南工业大学更多>>
发文基金:国家自然科学基金河南省科技攻关计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信理学更多>>

文献类型

  • 28篇期刊文章
  • 3篇会议论文

领域

  • 23篇自动化与计算...
  • 11篇电子电信
  • 1篇理学

主题

  • 3篇原子性
  • 3篇安全协议
  • 2篇形式化
  • 2篇入侵
  • 2篇入侵检测
  • 2篇商务
  • 2篇逻辑分析
  • 2篇密码
  • 2篇密钥交换
  • 2篇密钥交换协议
  • 2篇访问控制
  • 2篇PROTOC...
  • 2篇KEY
  • 1篇电子商务
  • 1篇电子商务安全
  • 1篇电子商务安全...
  • 1篇电子现金
  • 1篇形式化分析
  • 1篇形式化验证
  • 1篇虚警

机构

  • 7篇解放军信息工...
  • 6篇中国人民解放...
  • 3篇河南财经学院
  • 3篇河南工业大学
  • 2篇西安电子科技...
  • 1篇赣南教育学院
  • 1篇兰州理工大学
  • 1篇河南大学
  • 1篇伊犁师范学院
  • 1篇中原工学院
  • 1篇河南财经政法...
  • 1篇河北水利电力...

作者

  • 11篇祝跃飞
  • 7篇陈莉
  • 3篇刘楠
  • 2篇柴争义
  • 2篇周瑾
  • 2篇张浩军
  • 2篇张亚娟
  • 1篇刘胜利
  • 1篇王惠斌
  • 1篇袁开银
  • 1篇汪宏海
  • 1篇贺新征
  • 1篇常庭懋
  • 1篇顾纯祥
  • 1篇吴树华
  • 1篇郑秋生
  • 1篇林琳
  • 1篇郑永辉
  • 1篇刘军
  • 1篇费金龙

传媒

  • 5篇Wuhan ...
  • 4篇信息工程大学...
  • 3篇计算机工程
  • 3篇计算机应用研...
  • 2篇微电子学与计...
  • 2篇微计算机信息
  • 2篇计算机科学
  • 2篇Journa...
  • 1篇计算机学报
  • 1篇华中科技大学...
  • 1篇计算机应用
  • 1篇计算机工程与...
  • 1篇China ...
  • 1篇The 1s...

年份

  • 1篇2012
  • 1篇2011
  • 2篇2010
  • 3篇2009
  • 8篇2008
  • 10篇2007
  • 3篇2006
  • 3篇2005
28 条 记 录,以下是 1-10
排序方式:
基于指令跳转分析的Windows RootKit动态检测技术被引量:8
2007年
RootKit是用来维持黑客对计算机控制,使之无法检测的强力工具。当前传统的RootKit技术都有相对应的检测技术。文章介绍了内核对象内联挂接技术,延伸了现有的代码重定向技术,通过对内核对象调用路径的内联挂接,实现隐藏。现有的RootKit检测技术很难检测这种新型RootKit。因此,文章提出了基于指令跳转分析的动态RootKit检测技术,可以动态检测内核对象内联挂接的RootKit,并且能够指出这些RootKit程序的加载映像。
阮文波张长河刘胜利
关键词:ROOTKIT
A Formal Model for the Security of Proxy Signature Schemes
<正> This paper provides theoretical foundationsfor the secure proxy signature primitive. We presenta formal mo...
GU Chun-xiang,ZHU Yue-fei, ZHANG Ya-juanNetwork Engineering Department, Information Engineering University, Zhengzhou 450002, Henan, China
文献传递
Provable Security of ID-Based Proxy Multi-Signature Schemes
2007年
In the last couple of years, D-based cryptography has got fruitful achievements. Proxy multi-signature allows a designated person, called a proxy signer, to sign on behalf of two or more original signers. In this paper, we present a general security model for ID-based proxy multi-signature (ID-PMS) schemes. Then, we show how to construct a secure ID-PMS scheme from a secure ID-based signature scheme, and prove that the security of the construction can be reduced to the security of the original ID-based signature scheme.
GU Chunxiang ZHU Yuefei ZHAO Tao
基于89C56的智能探测器的设计与实现被引量:1
2007年
针对高精度稳压电源的需求情况,本文提出了一种用于噪声电压检测的探测器设计方案,文章详细介绍了该探测器总体设计方案以及核心组成模块。系统的核心模块为高速微控制器89C56,文中详细介绍该芯片的特点和检测原理。并且设计中实现了一个分析和预测模块,使得该探测器成为一个智能探测器。
王枫
关键词:噪声检测探测器微控制器
基于状态转移系统的安全协议形式模型被引量:2
2008年
提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够对安全协议进行精确的形式化描述,且便于实现自动化分析。
毛中全刘楠顾纯祥祝跃飞
关键词:安全协议
基于口令认证的四方密钥交换协议
2008年
基于口令认证的四方密钥交换协议给不同域中用户提供了一种简单的通信方式。在四方协议中,不同域中的两个用户能够在口令不同的情况下通过彼此域中服务器的通信建立一个会话密钥。针对这种通信需求,文章提出了一个在标准模型下被证明前向安全的基于口令认证的四方密钥交换协议。
刘亭君吴树华祝跃飞
Architecture of Trusted PC
2006年
This paper, focusing on the trusted computing group's standards, explained the key concept of trusted compuling and provided the architecture of trusted PC. It built trust bottom-up by starting with trusted hardware and adding layers of trusted software. It is a system-level solution available to all applications running on the member platforms. This solution reduces the security burden on applications and thus simplifies application programming.
WU Shuhua ZHU Yuefei
关键词:ARCHITECTURE
一种新的安全协议验证逻辑及其串空间语义被引量:1
2011年
针对典型的安全协议验证逻辑存在的问题,如安全属性验证存在局限性、对混合密码原语的处理能力不强等,提出一种新的验证逻辑,新逻辑能够验证安全协议的认证性、密钥保密性、非否认性、可追究性、公平性及原子性。现有多数验证逻辑缺乏形式化语义,而逻辑语义能够证明逻辑系统的正确性,因此给出新逻辑所含逻辑构件的串空间语义,并应用串空间模型证明了新逻辑主要推理规则的正确性。
陈莉
关键词:串空间逻辑语义
一种快速安全认证协议及其形式化分析被引量:2
2008年
介绍了现有的常用身份认证方法,分析了其安全性和不足之处,针对安全性和效率问题,提出了一种可实现快速安全认证的一种新协议,并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率,结果证明该协议既具有基于证书的公钥密码体制的安全性,又保持了对称密码体制的高效性。
王惠斌祝跃飞
关键词:形式化分析PCL
一种IDS报警可信性增强方案被引量:2
2009年
提高IDS(入侵检测系统)报警的可信性是IDS的根本目标。从理论上分析了可信问题产生的原因,给出了其形式化描述,提出了一种多IDS协同工作提高检测可信度的方法,并证明了该方法可以应用于各种不同IDS的协同工作中(基于误用、异常及异常与误用相结合的IDS)。多检测系统结果融合时采用推进Bayesian分类方法,给出了其模型和具体算法。实验分析表明,该方法与其他同类算法相比,降低了系统的漏报率和误报率,增强了报警的可信度。
柴争义林琳王建文齐传辉
关键词:入侵检测系统
共4页<1234>
聚类工具0