咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 网络空间安全
  • 2 篇 军事学
    • 2 篇 军队指挥学

主题

  • 2 篇 svo logic
  • 1 篇 jfkr
  • 1 篇 svo+ logic
  • 1 篇 protocol analysi...
  • 1 篇 mobile payment
  • 1 篇 non-repudiation
  • 1 篇 micro-payment pr...

作者

  • 1 篇 guizhou universi...
  • 1 篇 jiang hualin li ...
  • 1 篇 xuan zhou 1)
  • 1 篇 china
  • 1 篇 guizhou
  • 1 篇 xueming wang 2) ...
  • 1 篇 guiyang

语言

  • 2 篇 英文
检索条件"主题词=SVO logic"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
On the Improvement of svo logic Analysis
International Journal of Systems and Control
收藏
分享
引用
International Journal of Systems and Control 2008年 第2期 121-128页
作者： JIANG Hualin, LI Lixin, HUANG Ping , LI Zhipeng School of Computer & Information Science, Southwest University, Chongqing 400715, China
svo logic lacks a formalized description for authentication of complex compound messages. This paper proposes a new logic-svo+ logic for analysis of complex compound messages, improving corresponding axioms of reasoni... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
Improvement and Formal Analysis of Mobile Micro-Payment Protocol Payword
Improvement and Formal Analysis of Mobile Micro-Payment Prot...
收藏
分享
引用
2011 IEEE International Conference on Information Theory and Information Security(ICITIS 2011)
作者： Xuan Zhou 1) Xueming Wang 2) School of Computer Science and Information Guizhou University Guiyang Guizhou China
To overcome the shortage which is that mobile micro payment protocol Payword dissatisfies non-repudiation,improved mobile micro payment protocol Payword is *** with Payword,improved Payword has better security and ***... 详细信息
来源： cnki会议 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件