交互型电子签名的形式化分析

来源 :第31次全国计算机安全学术交流会 | 被引量 : 0次 | 上传用户:jurenyaoyao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
交互型电子签名是一种与特定类型的密钥载体紧密结合的电子签名应用.在攻击者通过劫持主机等方式远程控制密钥载体的情况下,交互型电子签名能够有效阻止其冒用合法用户身份进行交易或篡改交易信息.文章利用形式化方法对交互型电子签名方案设计的理论框架进行了探索,通过对交互型电子签名的调研,归纳了交互型电子签名的设计要点,指出骗签是交互型电子签名的突出安全威胁,并给出了骗签问题的形式化描述.文章还描述了密码行业标准框架下的交互型电子签名技术路线选型,从安全风险方面对若干基于国密算法的交互型电子签名方案进行比较.
其他文献
Navier-Stokes(N-S)方程是流体力学中最重要的方程之一。针对不可压缩Navier—Stokes(N-S)方程求解过程中的有限元法存在计算网格量大、收敛速度慢的缺点,提出了基于面积坐标
会议
为提高软件即服务(SaaS)应用中资源的访问效率,提出支持SaaS服务重要特征的负载均衡策略.首先,结合SaaS服务的多租户和高度可伸缩两大特性,提出一种基于租户请求分流、在局部
设计时间序列数据在Hadoop分布式文件系统(HDFS)中的有效存储方式,利用分布式缓存工具Distributed Cache将各子序列分发到Hadoop集群的计算节点上,将动态时间弯曲距离矩阵划
会议
分布式环境下的异构计算系统(HCS)是大数据时代进行数据密集型计算不可或缺的,一个有效的任务调度算法可以提高整个异构计算系统的效率.在对异构环境下的任务调度进行有向无
会议
针对在移动群智感知中基于机会通信完成数据传输会消耗大量时间成本的问题,提出了一种基于中枢节点的多任务分发(HTA)算法.该算法利用节点在移动网络中社交关系属性不同的特
会议
针对虚拟网络请求资源动态变化的实际情况,提出了面向动态虚拟网络请求的虚拟网络映射(DVNR-VNE)算法:以混合线性规划理论为基础,采用多队列的方式分别对不同类型的虚拟网络
随着社交网络规模的不断增长,社交媒体逐步成为人们社交生活不可或缺的一部分,使得对社交网络的深度挖掘成为研究社交媒体环境及用户行为的重要手段.因此,对社交媒体舆论内容
文章提出了一种可以配合各种成熟的HASH算法使用的移动可信平台ELF文件完整性校验方法——RMAC(Random-MAC),并从ELF文件的节内容的关键性和关联性对不同类型和属性的节做分
会议
用户登录认证是Windows操作系统的第一道安全屏障.使用口令进行登录存在口令泄露、暴力破解等问题,而使用指纹代替口令可以避免这些问题.文章分析了Windows操作系统的登录机
为了客观、科学地评价各安全厂商的恶意软件防治技术和产品,国际反病毒测评机构始终不断研究改进测试标准和方法,逐步由静态测试转变为动态测试.但是安全厂商和测评机构之间
会议