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

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 信息与通信工程
    • 1 篇 计算机科学与技术...
    • 1 篇 网络空间安全

主题

  • 1 篇 security require...
  • 1 篇 fair exchange
  • 1 篇 formal model
  • 1 篇 logical protocol

机构

  • 1 篇 engineering rese...
  • 1 篇 beijing zhongke ...
  • 1 篇 graduate school ...

作者

  • 1 篇 2. beijing zhong...
  • 1 篇 3. graduate scho...
  • 1 篇 qing sihan1 2 3 ...

语言

  • 1 篇 英文
检索条件"主题词=logical protocol"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Formal analysis and design of multi-party fair exchange protocols
收藏
分享
引用
Science in China(Series F) 2006年 第2期49卷 155-174页
作者： QING Sihan1,2,3 & LI Gaicheng1,3 1. Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing 100080, China 3. Graduate School of the Chinese Academy of Sciences, Beijing 100039, China Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences Beijing China Beijing Zhongke Ansheng Corporation of Information Technology Beijing China Graduate School of the Chinese Academy of Sciences Beijing China
Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件