论文研究改进的云用户双向认证协议方案的形式化分析 .pdf

针对FreeRTOS内存管理方案分配时间不确定，切割次数较多，利用率低及合并机制不足等缺点，采用一种“精确切割”和“延时合并”相结合的策略以最大限度减少内存碎片，提高内存利用率。具体实现方法是在Fre

通过分析一个基于椭圆曲线的具有消息恢复的数字签名方案，发现原方案的消息恢复存在安全性的缺陷，并针对此问题给出了改进的方案，解决了任何人都能恢复消息的缺陷。介绍了基于椭圆曲线的具有消息恢复的数字签名方案

针对Kerberos单点登录协议存在的口令攻击、重放攻击、密钥需要托管和效率不高等问题，引入一种无对数运算的无证书隐式认证与密钥协商协议对其进行了改进。在随机预言机模型下证明了新协议的强安全性，分析了

在安全协议的形式化分析研究当中，如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题，提出了用匹配关系来形式化地描述各种安全属性的统一框架，建立了语法和语义系统，

本文讨论了一种拼图认证方法的改进，该方法采用了《 Puzzle and Dragons》游戏[1]的界面，并且可以抵抗视频录制攻击。 传统的拼图认证方法面临的问题是它们耗时且认证成功率低。 我们评估了

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象，无法兼顾基于全局和局部的设计方法，并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回

形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域，利用商空间理论对Ontology进行形式化，并在此基础上对Ontology进行模

Web Services数据服务的形式化描述方法，余骞，王智立，在网络服务的开发过程中，对数据库进行增、删、改、查操作的数据服务的开发占相当大的比例。由于数据服务的代码中有很多重复部分

针对目前没有直接对事件图模型进行形式化验证的方法，提出了一种基于行为时态逻辑（temporallogicofaction，TLA）的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与

针对手机个人信息安全的保护，设计了一种基于传感器信息分析的用户认证方案。利用内置加速度传感器和触摸屏传感器采集用户数据，对电话接听、触屏滑动操作、待机状态等行为进行特征分析，运用动态时间规整算法分别进