位置：成果数据库 > 期刊 > 期刊详情页
A Formal Analysis Method for Optimistic Fair Exchange Protocol
  • ISSN号：1975-9320
  • 期刊名称：Journal of Convergence Information Technology (JCI
  • 时间：2013.3.3
  • 页码：35-46
  • 相关项目：基于串空间无线传感器网络安全协议形式化方法研究
作者： 高悦翔|彭代渊|汤鹏志|
同期刊论文项目
基于串空间无线传感器网络安全协议形式化方法研究
期刊论文 11 会议论文 1
同项目期刊论文
一种适用于移动环境的公平移动支付协议
一种基于双线性对的前向安全代理签名方案
一种基于双线性配对的代理多重盲签名方案
基于双线性的前向安全门限部分盲签名方案
可证安全的智能家居远程代理控制协议
不含双线性对的基于证书前向安全签名方案
一个无证书部分盲签名方案的分析与改进
一种改进的基于双线对的无证书签密方案
一种代理盲多重签名的分析和改进
一个安全高效的无证书签名方案的分析和改进