首页> 外文OA文献 >Exploring Fair Exchange Protocols Using Specification Animation

【2h】

Exploring Fair Exchange Protocols Using Specification Animation

机译：使用规范动画探索公平交换协议

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Colin Boyd; Peter Kearney;
展开▼
作者单位

展开▼
年度 100
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Animation of Natural Language Specifications of Authentication Protocols | Science Publications [J] . Mabroka A. Mayouf, Zarina Shukur Journal of computer sciences . 2008,第7期

机译：认证协议的自然语言规范的动画|科学出版物
2. A Secure Fair Exchange for SMS-Based Mobile Payment Protocols Based on Symmetric Encryption Algorithms with Formal Verification [J] . Thammarat Chalee, Kurutach Werasak Wireless communications & mobile computing . 2018,第1期

机译：基于形式验证的对称加密算法的基于SMS的移动支付协议的安全公平交换
3. Application of the Fair Secret Exchange Protocols in the Distribution of Electronic Invoices [J] . Jaros?aw W?tróbski, Artur Karczmarczyk Procedia Computer Science . 2017,第期

机译：公平秘密交流协议在电子发票分发中的应用
4. Exploring Fair Exchange Protocols Using Specification Animation [C] . Colin Boyd, Peter Kearney Information Security . 2000

机译：使用规范动画探索公平交换协议
5. A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications [D] . 石原, 靖哲 1995

机译：从通信协议的自然语言规范到可执行的代数规范的转换方法
6. Exchangeable Chaperone Modules Contribute to Specification of Type I and Type II Hsp40 Cellular Function [O] . Chun-Yang Fan, Soojin Lee, Hong-Yu Ren, 2004

机译：可交换的分子伴侣模块有助于I型和II型Hsp40细胞功能的规范
7. Attacking Fair-Exchange Protocols Parallel Models vs. Trace Models11We thank the anonymous reviewers for many useful suggestions and C. Marchetti for discussing the tricky issue of (fault-tolerant) local and distributed implementations of the Fair-Exchange protocol. This work is partly supported by ASI, CNR, and MURST grants. F. Massacci acknowledges the support of the CNR Fellowship 203-7-27. [O] . Aiello Luigia Carlucci, Massacci Fabio 2003

机译：攻击公平交换协议的并行模型与跟踪模型11我们感谢匿名审阅者提出的许多有用建议，并感谢C. Marchetti讨论Fair-Exchange协议（容错）本地和分布式实现的棘手问题。 ASI，CNR和MURST赠款部分支持这项工作。马萨奇（F. Massacci）感谢CNR奖学金203-7-27的支持。
8. Guidelines for the Specification and Validation of IGES (Initial Graphics Exchange Specification) Application Protocols [R] . Harrison, R. J. , Palmer, M. E. 1989

机译：IGEs（初始图形交换规范）应用协议的规范和验证指南

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号