论文部分内容阅读
提出了一种基于浏览器的联合身份管理双向认证协议,在TLS会话中采用人类可感知认证码验证身份权威服务器,通过绑定客户端证书结合加强同源策略达到双向保护令牌的目的。最后用形式化模型分析了其安全性,证明了协议能够提供安全的认证。
一种可证安全的基于浏览器的联合身份管理双向认证协议
【摘 要】
：
提出了一种基于浏览器的联合身份管理双向认证协议,在TLS会话中采用人类可感知认证码验证身份权威服务器,通过绑定客户端证书结合加强同源策略达到双向保护令牌的目的。最后用形式化模型分析了其安全性,证明了协议能够提供安全的认证。
【机 构】
：
解放军信息工程大学,河南工业大学
【出 处】
：
计算机应用研究
【发表日期】
：
2013年06期
【基金项目】
：
郑州市科技创新团队基金资助项目（10CXTD150）
其他文献
针对基于图的半监督学习方法在多媒体研究应用中忽略视频相关性的问题,提出了一种基于相关核映射线性近邻传播的视频标注算法。该算法首先通过核函数按照半监督学习调整后的距离计算出迭代标记传播系数;其次利用传播系数求得表示低层特征空间的样本,再根据视频相关性建模构造出语义概念间的关联表;最后完成近邻图的构造,并利用已标注视频信息迭代传播到未标注视频中,完成视频标注。实验结果表明,该算法不仅可以提高视频标注的
针对计算机辅助几何设计中三角曲面片造型方法进行了研究。在非多项式空间中构造了一组基函数,分析了该基函数的性质;利用七个控制顶点定义了相应的三角曲面片,由于该三角曲
运动特征的选择直接影响人体动作识别方法的识别效果。单一特征往往受到人体外观、环境、摄像机设置等因素的影响不同,其适用范围不同,识别效果也是有限的。在研究人体动作的表征与识别的基础上,充分考虑不同特征的优缺点,提出一种结合全局的剪影特征和局部的光流特征的混合特征,并用于人体动作识别。实验结果表明,该算法得到了理想的识别结果,对于Weizmann数据库中的动作可以达到100%的正确识别率。
针对无人值守传感器网络的数据存储问题,提出了一种低通信成本的分布式数据存储算法。算法采用步数为cn的定向随机游走机制,将网络中的k个源数据包按照一定的接收概率分散存储到了网络中所有的n个节点,在每个节点形成了一个存储数据包。实验表明,基于该算法的存储过程完成之后,即使有部分传感器节点损坏,sink节点只要随机收集到k+ε(ε≥10)个存储数据包,就能成功计算出原来的k个源数据包。与具有代表性的基于
对已有基于Chebyshev多项式的身份认证方案进行了安全性方面的分析,引入密态时钟,提出了一种新的身份认证方案。通过对其性能的研究,新的方案是安全有效的。
利用双线性映射设计出一个有效的无证书多级代理签名方案。在最强的安全模型下,方案给出了正式的安全证明。它的安全性基于计算Diffie-Hellman问题的困难性。所提出的方案满足诸如可验证性、不可否认性、可识别性、防止签名滥用等安全性质。该多级代理签名方案具有前向可追踪性和后向扩展的灵活性。鉴于方案的安全、高效和灵活的优点,它可广泛应用于电子商务、移动代理系统等方面。
针对有效测量中需解决的问题,提出了一种快速的固体核径迹图像分割算法,分初始分割与粘连分离两个过程。初始分割通过数学形态学开操作快速去除背景后,迭代阈值分割法实现;粘连分离采用复合距离变换计算核心膨胀半径,一次膨胀重建单个径迹轮廓。实验结果表明,算法具有较强的抗噪能力,可有效对半径≥2μm径迹进行快速分割,准确率>90%。目前已成功运用于实际项目中。
为了能够提高图像边缘检测的准确度,提出一种新型图像处理算法。该算法是基于主动轮廓方法和拓扑路线相结合的方法,目的是提高图像检测过程的精确度。该算法提出了新型技术来整合拓扑路线和主动轮廓方法各自的优点。将基于拓扑路线的初始分割边界作为Snake模型输入信号,并逐步演化成为最终对象的分割边界。实验结果表明,该算法可以处理低对比度图像,同时可以提高针对弱图像边界进行分割的准确度,取得了更好的图像分割和边
提出一种新颖的基于多子带可逆细胞自动机的二值图像压缩算法。该算法采用可逆细胞自动机可实现信号子带编码的思想,实现了一个四子带可逆细胞自动机,并用其将二值图像信号分解为一个低频子带和三个高频子带。然后用改进的跳白块算法对各子带分别进行压缩编码。实验结果表明,该算法计算复杂度低,且具有较高的压缩比。
针对大规模的云资源共享,单关键字查询技术已不能满足用户对资源的查询需求这一问题,研究了如何在资源共享中实现多维查询。在结构化P2P网络的基础上,通过对资源属性和属性值采用不同的编码方式,建立一种适用于多维查找的分层网络结构,结合多维度的资源存储和发布策略,实现了一种适用于云资源共享的多维资源查找方法。实验表明,该方法具有很好的可扩展性和准确性。可以快速有效地实现多维查找,也极大地扩展了对等网络技术