张明德
- 作品数：9 被引量：42H指数：4
- 供职机构：北京科技大学计算机与通信工程学院更多>>
- 发文基金：国家自然科学基金国家科技基础条件平台建设计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 改进的PKI可信度模型被引量：4
- 2012年
- 为提高证书依赖方(Relying Party)对证书持有者(Subscriber)信任评价的准确度,提出一种改进的PKI可信度模型.通过引入密钥安全期和优化不可信因子,严格区分证书可信度和私钥可信度,提出对应的计算公式,并给出组合密钥可信度和平均密钥可信度的计算方法.针对单级CA信任模型,推导出平均证书可信度和平均私钥可信度.该模型将影响密钥可信度的多个关键因素统一体现在单个计算公式中,不仅能够适应多种PKI信任模型,同时为提高证书持有者信任评价的准确度提供计算依据.
- 张明德郑雪峰吕述望
- 关键词：PKI
- 应用安全模型研究
- 鉴于应用系统的复杂性和多样性,目前不存在形式化描述的应用安全模型。文章通过引入应用安全域和系统状态(宏观和微观),对应用系统进行形式化描述,并在此基础上,通过对安全策略和安全状态的分析,给出了具有通用性的应用安全模型,包...
- 张明德郑雪峰蔡翌
- 文献传递
- 粗糙集中不同核的比较研究被引量：1
- 2012年
- 为研究基于HU差别矩阵属性约简的核(HCore(C))、信息熵属性约简的核(ECore(C))、分布属性约简的核(FCore(C))、最大分布属性约简的核(MCore(C))、近似属性约简的核(ACore(C))和正区域属性约简的核(PCore(C))之间的关系,本文给出了上述各种核的简化差别矩阵计算方法,并用上述各种核的计算方法证明了如下结论:在不一致决策表中,HCore(C)ECore(C)=FCore(C)ACore(C))PCore(C);用实例说明了MCore(C))和ACore(C))之间没有关系,MCore(C))和PCore(C))之间没有关系;而在一致决策表中,各种不同核是相互等价的.
- 张清国郑雪峰张明德于义科
- 关键词：粗糙集正区域信息熵分布约简最大分布约简近似约简
- 应用安全模型研究被引量：15
- 2012年
- 鉴于应用系统的复杂性和多样性,目前不存在形式化描述的应用安全模型。文章通过引入应用安全域和系统状态(宏观和微观),对应用系统进行形式化描述,并在此基础上,通过对安全策略和安全状态的分析,给出了具有通用性的应用安全模型,包括安全应用系统和安全级别等,为应用安全的深入研究提供了参考。
- 张明德郑雪峰蔡翌
- 应用安全模型研究
- 鉴于应用系统的复杂性和多样性，目前不存在形式化描述的应用安全模型。文章通过引入应用安全域和系统状态(宏观和微观)，对应用系统进行形式化描述，并在此基础上，通过对安全策略和安全状态的分析，给出了具有通用性的应用安全模型，包...
- ZHANG Ming-de张明德ZHENG Xue-feng郑雪峰CAI Yi蔡翌
- 关键词：计算机网络应用系统授权管理
- 标准模型下基于身份的代理环签名方案研究
- 2012年
- 现有的基于身份的代理环签名方案的安全性大都是在随机预言模型下证明的,随机预言机模型将Hash函数理想化为一个完全随机模型,在实际应用中不一定安全.鉴于此,提出一个新的基于身份的代理环签名方案.在标准模型下证明了该方案能够抵抗存在性伪造攻击,且签名者具有无条件匿名性,因此具有更好的安全可靠性.
- 于义科郑雪峰张清国张明德
- 关键词：代理环签名计算DIFFIE-HELLMAN问题
- 应用系统中身份认证建模及推理方法被引量：4
- 2012年
- 逻辑推理是对身份认证进行形式化研究的重要手段,但现有研究成果主要集中在认证机制、认证协议等单个方面,并不考虑应用环境.通过引入身份认证域,对应用系统中身份认证进行形式化描述;在此基础上,提出一种基于谓词的身份认证建模及推理方法,包括7种谓词、8个推理规则和一种4步骤推理方法等,并对基于静态口令、动态口令和数字证书的身份认证模型进行实例分析.
- 张明德郑雪峰吕述望张清国
- 关键词：身份认证谓词
- 身份认证可信度研究被引量：15
- 2011年
- 身份认证过程存在很多不确定因素,导致认证服务的结果并不绝对可信;而现有研究成果主要集中在身份认证的某些方面,不具有通用性。基于对身份认证的形式化描述和其安全性的逻辑分析,将身份认证过程中不确定因素分为4个方面;通过引入信任分类、不可信因子和安全度,提出一种具有通用性的身份认证可信度计算方法;并对基于静态口令和数字证书的身份认证模型进行实例分析。
- 张明德郑雪峰吕述望张清国
- 关键词：身份认证安全度
- 信息量不完备决策表属性约简的一种新算法被引量：8
- 2010年
- 目前,基于不完备决策表的属性约简研究较少。基于信息量的不完备决策表属性约简是一种新的属性约简。由于在该属性约简中,计算相容关系是最主要的计算,也比计算等价关系要难得多。基于信息量的不完备决策表的属性约简算法的时间复杂度一般为O(|C|3|U|2)。为降低其时间复杂度,首先分析了老算法的不足,然后给出了一个效率较好的计算相容类的算法。最后设计了一个新的基于信息量的不完备决策表的属性约简算法,其时间复杂度为O(|C|2|U|2)。
- 张清国郑雪峰张明德于义科
- 关键词：粗糙集属性约简不完备决策表算法复杂度
