一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

一种安全的公共认证电子拍卖方案

利用Bit承诺,单向函数和数字签名算法,对一种安全电子拍卖模型进行改进,提出了一种安全、简单、高效的密封式电子拍卖方案.它可以在注册中心离线的情况下,最大程度地缩小拍卖行的权力实现公共认证.同时,该方案不仅能对除中标者外的其他所有投标者的投标价进行保密,而且能有效防止拍卖行不诚实的行为.     

关于强RSA问题的几个注解

强RSA问题作为RSA问题的进一步发展,其难解性已经被广泛接受。本文对强RSA问题的解的个数进行讨论,并在此基础上提出了几个难解性不低于强RSA问题的新问题。     

基于执行体划分的防御增强型动态异构冗余架构

针对DHR系统服务体在面临共同漏洞时的系统脆弱性问题,提出了一种改进的DHR架构——IDHR.该架构在DHR的基础上,首先引入根据执行体间的异构性对执行体集进行划分的执行体划分模块,以极大增强各执行体池之间的异构性.在此基础上,改进调度模块中的动态选择算法,即采用先随机选择执行体池,再从执行体池中随机选择执行体的方式,...     

网络空间安全一级学科中白盒密码的教学与科研探讨

随着Internet和云计算的出现,网络空间安全变得越来越重要,这使得网络空间安全人才的培养变得日益迫切.国家于第一批和第二批分别批准了网络空间安全一级学科硕士点和博士点单位.在网络空间安全一级学科中,密码学的教学必不可少.白盒密码作为密码学的一个重要分支,可用来确保在不可信的环境下密码算法的安全性,保护密钥的机密性....     

一种基于概率分析的DHR模型安全性分析方法

动态异构冗余(Dynamic Heterogeneous Redundancy,DHR)模型的安全性分析是拟态防御的核心问题之一.本文针对DHR模型安全性量化分析问题提出了执行体-漏洞矩阵和服务体-漏洞矩阵模型,实现了DHR系统的形式化描述.提出了攻击序列法和服务体法的两种计算方法,从系统攻击成功率和被控制率对DHR系统进行安全性分析,推导出非合谋(合谋)盲攻击和非合谋(合谋)最优攻击4种场景下安全性指标的计算公式.通过仿真实验分析了DHR模型各因素对系统安全性的影响,给出了增强DHR系统安全性的具体建议.所提方法能用于DHR系统的安全性量化分析和比较,为DHR系统构建提供量化决策支撑.     

一个安全有效的RSA门限签名体制

提出一种新的RSA门限签名体制,具有如下性质：（1）利用知识证明构造子签名方案,从而子签名是安全的;（2）组签名的安全性是基于RSA问题及离散对数问题;（3）可以对签名者的身份进行追踪。