首页> 外文OA文献 >Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol

【2h】

Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol

机译：乐观多方合同签署协议的正式分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Xiaoru Li; Xiaohong Li; Guangquan Xu; Jing Hu; Zhiyong Feng;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol [J] . XiaoruLi, XiaohongLi, GuangquanXu, Journal of applied mathematics . 2014,第2期

机译：乐观多方合同签署协议的正式分析
2. Formal Analysis of Multiparty Contract Signing [J] . ROHIT CHADHA, STEVE KREMER, ANDRE SCEDROV Journal of Automated Reasoning . 2006,第1a2期

机译：多方合同签署的形式分析
3. Fairness Analysis for Multiparty Nonrepudiation Protocols Based on Improved Strand Space [J] . Lei Li, LichengWang, Jing Chen, Discrete dynamics in nature and society . 2014,第Pta1期

机译：基于改进链空间的多方不可否认协议公平性分析
4. Constructing Optimistic Multi-party Contract Signing Protocols [C] . Kordy Barbara, Radomirovic Saa 2012 IEEE 25th computer security foundations symposium . 2012

机译：构造乐观的多方合同签署协议
5. Formal analysis of security protocols: Protocol composition logic. [D] . Derek, Ante. 2006

机译：安全协议的形式分析：协议组成逻辑。
6. Demand and Signing of General Practitioner Contract Service among the Urban Elderly: A Population-Based Analysis in Zhejiang Province China [O] . Yanrong Zhao, Junfen Lin, Yinwei Qiu, 2017

机译：城市老年人全科医生合同服务的需求和签订：基于浙江省的人口分析
7. Fair and optimistic quantum contract signing [O] . Paunkovic, N., Bouda, J., Mateus, P. 2011

机译：公平乐观的量子合约签约
8. Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives [R] . Meadows, C. 2000

机译：扩展组协议和低级加密基元的正式密码协议分析技术

Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol

著录项

引文网络

相似文献

相关主题

期刊订阅