首页> 外文OA文献 >A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols

【2h】

A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols

机译：基于游戏的不可否认性和公平交换协议的验证

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A game-based verification of non-repudiation and fair exchange protocols [J] . Steve Kremer, Jean-Francois Raskin Journal of computer security . 2003,第3期

机译：基于游戏的不可否认和公平交换协议的验证
2. Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service [J] . Xiaohong Li, Jiayi Xu, Guangquan Xu, International journal of software engineering and knowledge engineering . 2016,第4期

机译：Fepchecker：自动模型检查器，用于验证Web服务中安全协议的公平性和不可否认性
3. EAR Protocol-Towards Fair Optimistic Non-Repudiation Exchange [J] . WANG Hai-yan, WANG Ru-chuan The journal of China Universities of Posts and Telecommunications . 2005,第2期

机译：EAR协议-走向公平的乐观不可否认性交换
4. A Game-Based Verification of Non-repudiation and Fair Exchange Protocols [C] . Steve Kremer, Jean-Francois Raskin 12th International Conference on CONCUR 2001 - Concurrency Theory, 12th, Aug 20-25, 2001, Aalborg, Denmark . 2001

机译：基于游戏的不可否认和公平交换协议验证
5. 'Fair' BPEL processes transaction using non-repudiation protocols. [D] . Bilal, Muhammad. 2005

机译：“公平”的BPEL使用不可否认协议处理事务。
6. Changes in Metabolic Activity and Gait Function by Dual-Task Cognitive Game-Based Treadmill System in Parkinson’s Disease: Protocol of a Randomized Controlled Trial [O] . Tony Szturm, Tiffany A. Kolesar, Bhuvan Mahana, 2021

机译：双任务认知比赛跑步机系统在帕金森病中的代谢活动和步态功能的变化：随机对照试验的协议
7. A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols [O] . Steve Kremer, Jean-François Raskin 2001

机译：基于游戏的不可否认和公平交换协议验证
8. Systematic Development of a Family of Fair Exchange Protocols [R] . Ezhilchelvan, P. D., Shrivastava, S. K. 2003

机译：一系列公平交换协议的系统发展

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号