作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

一种新的操作系统安全模型  CNKI文献

机密性和完整性是操作系统安全的两个重要特性,BLP模型只解决了机密性的问题,而Biba模型只解决了完整性的问题,其他模型也都类似,无法使二者同时兼顾.基于一个特殊可信主体,提出了一种新的操作系统安全模型,融合了以上...

李益发 沈昌祥 《中国科学E辑:信息科学》 2006年04期 期刊

关键词: 操作系统 / 安全模型 / BLP / Biba

下载(714)| 被引(46)

密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑  CNKI文献

本文探讨了其它BAN类逻辑的缺陷及其产生原因,在此基础上提出了一种新的 BAN类逻辑。 首先,本文探讨了BAN类逻辑的缺陷,并对产生缺陷的原因作了细致的分析,提 出了作者自己独特...

李益发 导师:南湘浩 解放军信息工程大学 2001-05-01 博士论文

关键词: 密码协议 / 密码协议安全性分析 / 谓词逻辑 / BAN逻辑。

下载(400)| 被引(24)

浅谈后量子公钥密码的发展  CNKI文献

本文简要介绍了近年来后量子密码的发展状况,包括基于纠错编码、基于格、基于hash等多种方式的抗量子公钥体制,重点介绍了基于多变量二次多项式的公钥密码算法的进展。

李益发 索敏杰... 《保密科学技术》 2011年07期 期刊

关键词: 量子计算 / 后量子密码 / QPKC

下载(301)| 被引(2)

生物免疫原理在多代理分布式入侵检测系统中的应用  CNKI文献

入侵检测是一个新的、迅速发展的领域,已成为网络安全体系结构中的一个重要环节.通过对多代理技术和入侵检测方法的研究,提出了一种基于生物免疫原理的多代理分布式入侵检测系统模型,并且对该系统的结构和代理的处理流...

李益发 吕嘉祥 《大连理工大学学报》 2005年S1期 期刊

关键词: 入侵检测 / 生物免疫原理 / 代理/多代理 / 系统的自身安全

下载(153)| 被引(0)

一种新的概率公钥加密体制  CNKI文献

提出了一种新的基于离散时数的公开赛胡概率加密方案,并对其安全性作了简要的讨论。

李益发 陈钟... 《计算机工程》 1999年S1期 期刊

关键词: 公钥体制 / 概率加密体制 / 离散对数问题

下载(91)| 被引(3)

基于Eucalyptus的基础设施即服务云框架协议设计  CNKI文献

云计算中的基础设施即服务(IaaS)免去用户自主管理计算机硬件的麻烦,随时随地按需向用户提供计算和存储资源。Eucalyptus是一个被学术研究关注的开源IaaS实现,然而没有文献描述完整的利用Eucalyptus的所有模块来提供安...

崔巍 李益发... 《电子与信息学报》 2012年07期 期刊

关键词: 云计算 / 基础设施即服务(IaaS) / Eucalyptus / 可信计算

下载(265)| 被引(30)

电子支付协议安全性的形式化分析  CNKI文献

本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析 ,进而对Kailar逻辑也作了一些讨论。

李益发 谢文海... 《信息工程大学学报》 2000年02期 期刊

关键词: 电子商务协议 / BAN逻辑 / Kailar逻辑

下载(75)| 被引(1)

基于哈希树的云存储完整性检测算法  CNKI文献

云存储服务使得用户无需大量软硬件投入即可享受大容量、高规格的存储服务,但是同时也带来了云环境下数据机密性、完整性和可用性等安全问题。针对云存储中的完整性问题,利用哈希树结构和大数模运算,提出了一种新的基...

颜湘涛 李益发 《计算机科学》 2012年12期 期刊

关键词: 云计算 / 云存储 / 数据安全 / 数据完整性

下载(370)| 被引(16)

基于消息认证函数的云端数据完整性检测方案  CNKI文献

针对云计算中数据完整性问题,该文提出了一个新的交互式完整性检测方案。该方案通过构造一个I型完善Cartesian消息认证函数及其等效函数,在同步存储数据验证值的前提下,利用等效函数判定云端应答的消息认证值来检测完...

颜湘涛 李益发 《电子与信息学报》 2013年02期 期刊

关键词: 云计算 / 数据安全 / 完整性检测 / 消息认证函数

下载(204)| 被引(12)

CPK种子矩阵的优化设计方案  CNKI文献

CPK是一种新型的公钥基础设施,与公开密钥基础设施(PKI)相比,有其自身的优点。文章对CPK种子矩阵的设计问题,给出了一个设计方案。该方案简单,易于实现。

荣昆 李益发 《计算机工程与应用》 2006年24期 期刊

关键词: 组合公钥 / CPK / 密钥管理

下载(124)| 被引(17)

新扩展多变量公钥密码方案  CNKI文献

为了有效地抵抗线性攻击和差分攻击,基于"温顺变换"思想构造了一种非线性可逆变换,将此变换与Matsumoto-Imai(MI)方案结合,提出了一种新的扩展多变量公钥密码方案。接着,在扩展方案的基础上,设计出了新的多...

乔帅庭 李益发... 《通信学报》 2014年04期 期刊

关键词: 温顺变换 / 新的扩展方案 / 线性攻击 / 差分攻击

下载(69)| 被引(4)

GNY逻辑系统可靠性分析  CNKI文献

网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议的安全性。人们提出了多种安全协议的分析方法,BAN类逻辑是其中重要的一种,GNY逻辑就是一种BAN类逻辑。而认证逻辑本身的可靠性关系到分析结果的正确性...

荣昆 李益发... 《信息工程大学学报》 2006年02期 期刊

关键词: 安全协议 / 可靠性 / GNY逻辑 / BAN类逻辑

下载(141)| 被引(5)

一个RBAC的改进模型  CNKI文献

该文针对RBAC存在的若干问题,建立了一个改进的模型MRBAC。根据角色间的管理功能修改角色的定义,同时与组织结构相结合。实现了角色间的协作与制约,从而避免了使用角色继承。采用基于任务的观点,有效形成了MRBAC的运行...

徐仁义 李益发 《计算机工程与应用》 2005年34期 期刊

关键词: 访问控制 / RBAC / 面向对象 / 任务

下载(207)| 被引(24)

基于串空间的KryptoKnight协议分析及与逻辑化方法的比较  CNKI文献

网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议.本文通过串空间模型对KryptoKnight协议进行了分析,得出该协议是安全的.并对串空间模型和BAN逻辑方法进行了比较.

荣昆 李益发 《微计算机信息》 2005年26期 期刊

关键词: KryptoKnight / 串空间 / 安全协议

下载(61)| 被引(5)

基于身份的密钥协商协议研究  CNKI文献

提出了两种基于身份的密钥协商协议。在这些协议中,所有用户共享一个秘密信息,通过较少的步骤实现密钥协商,用户无须复杂的证书管理,且提出的协议满足较高的安全性。

王力民 李益发 《计算机应用研究》 2007年09期 期刊

关键词: 密钥协商 / Well对 / 会话密钥

下载(172)| 被引(10)

一种安全协议的规范化设计方法  CNKI文献

提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各...

邓帆 李益发... 《武汉大学学报(信息科学版)》 2010年05期 期刊

关键词: 安全协议 / 设计 / 组件 / 逻辑分析

下载(60)| 被引(0)

信任谓词的计算语义  CNKI文献

讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理。首先指出计算的协议组合逻辑在讨论信任关系方面可能存在证明过程与挖掘内在信任关系方面的缺陷;扩展谓词演算系统形成基本协议逻辑并为其添加...

崔巍 李益发... 《信息工程大学学报》 2012年02期 期刊

关键词: 安全协议 / 形式化分析 / 逻辑系统 / 信任谓词

下载(32)| 被引(0)

基于多变量公钥密码体制的代理重签名方案  CNKI文献

代理重签名方案大多是基于大数分解和离散对数难题设计的,而量子计算机能在多项式时间内求解这些难题,从而给方案造成安全隐患。为此,利用多变量公钥密码体制可以抵抗量子攻击的特性,设计一个新的代理重签名方案。理论...

孙昌毅 李益发... 《计算机工程》 2012年17期 期刊

关键词: 多变量公钥密码体制 / MQ问题 / IP问题 / 代理重签名

下载(64)| 被引(3)

基于多变量密码体制的新型代理签名方案  CNKI文献

目前应用广泛的代理签名体制的安全性主要是基于大数分解及离散对数难题,而这些正是量子计算影响最为深刻的领域.多变量密码作为后量子时代能够抵抗量子攻击的公钥体制之一,具有重要的研究价值.文章所设计的多变量代理...

孙昌毅 李益发... 《四川大学学报(自然科学版)》 2012年03期 期刊

关键词: 多变量密码 / 代理签名 / IP问题 / 抗量子计算

下载(25)| 被引(5)

一种对SSL V3.0的攻击  CNKI文献

介绍了一种利用RSA加密标准PKCS#1编码格式的脆弱性实现的、对SSL V3.0的会话密钥(pre-master-secret)进行的选择密文攻击。文章首先说明攻击原理和攻击算法,接着描述对SSL V3.0攻击的实现,随后分析导致攻击...

宋志敏 李益发... 《计算机工程与应用》 2001年16期 期刊

关键词: SSLV3.0 / RSA / PKCS#1 / 编码格式

下载(92)| 被引(12)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》