CORRECTNESS IN CRYPTOGRAPHIC PROTOCOLS FOR ELECTRONIC DOCUMENT CIRCULATION WITH SCOPE FOR ANALYZING CONFLICTS

I. G. Ustinov

首页> 外文期刊>Automatic Documentation and Mathematical Linguistics >CORRECTNESS IN CRYPTOGRAPHIC PROTOCOLS FOR ELECTRONIC DOCUMENT CIRCULATION WITH SCOPE FOR ANALYZING CONFLICTS

【24h】

CORRECTNESS IN CRYPTOGRAPHIC PROTOCOLS FOR ELECTRONIC DOCUMENT CIRCULATION WITH SCOPE FOR ANALYZING CONFLICTS

机译：电子文档循环的密码学协议在范围内的正确性以分析冲突

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

摘要

Formal analysis is considered for cryptographic protocols for participants interacting in an electronic document circulation system, which make it possible to resolve conflicts between them. A logical calculation is presented for the purpose. A formal definition is given of correctness in the protocol system. The technique for proving protocol correctness is demonstrated.

机译：正式的分析被认为是针对电子协议流通系统中与参与者交互的密码协议的，这使得解决它们之间的冲突成为可能。为此提供了逻辑计算。给出了协议系统中正确性的正式定义。证明了证明协议正确性的技术。

著录项

来源
《Automatic Documentation and Mathematical Linguistics》 |2005年第3期|p.17-28|共12页
作者
I. G. Ustinov;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. 6-7 Two Approaches to Analyzing the Security of Cryptographic Protocols [J] . Maki YOSHIDA Journal of the National Institute of Information and Communications Technology . 2016,第2期

机译：6-7分析密码协议安全性的两种方法
2. A new method for analyzing the security of cryptographic protocols [J] . Toussaint M.J. IEEE Journal on Selected Areas in Communications . 1993,第5期

机译：分析密码协议安全性的新方法
3. Next Generation Electronic Passport Scheme using Cryptographic Authentication Protocols and Multiple Biometrics Technology [J] . V.K. Narendira Kumar, B. Srinivasan International Journal of Information Engineering and Electronic Business . 2013,第2期

机译：使用密码认证协议和多种生物识别技术的下一代电子护照方案
4. ENSURING THE CORRECTNESS OF CRYPTOGRAPHIC PROTOCOLS WITH RESPECT TO SECRECY [C] . Hanane Houmani, Mohamed Mejri International Joint Conference on E-Business and Telecommunications . 2008

机译：确保加密协议关于保密的正确性
5. Partially specified protocols: Towards proofs of real-world cryptographic protocols. [D] . Stegers, Till. 2010

机译：部分指定的协议：寻求真实密码协议的证明。
6. Electronic Voting Protocol Using Identity-Based Cryptography [O] . Gina Gallegos-Garcia, Horacio Tapia-Recillas 2015

机译：使用基于身份的密码学的电子投票协议
7. ACC/AHA 2002 guideline update for exercise testing: summary article A report of the American college of cardiology/American heart association task force on practice guidelines (committee to update the 1997 exercise testing guidelines) 11The ACC/AHA Task Force on Practice Guidelines makes every effort to avoid any actual or potential conflicts of interest that might arise as a result of an outside relationship or personal interest of a member of the writing panel. Specifically, all members of the writing panel are asked to provide disclosure statements of all such relationships that might be perceived as real or potential conflicts of interest. These statements are reviewed by the parent task force, reported orally to all members of the writing panel at the first meeting, and updated as changes occur.22This document was approved by the American College of Cardiology Foundation Board of Trustees in July 2002 and by the American Heart Association Science Advisory and Coordinating Committee in June 2002. When citing this document, the American College of Cardiology Foundation and the American Heart Association would appreciate the following citation format: Gibbons RJ, Balady GJ, Bricker JT, Chaitman BR, Fletcher GF, Froelicher VF, Mark DB, McCallister BD, Mooss AN, O’Reilly MG, Winters WL Jr. ACC/AHA 2002 guideline update for exercise testing: summary article: a report of the ACC/AHA Task Force on Practice Guidelines (Committee to Update the 1997 Exercise Testing Guidelines). J Am Coll Cardiol 2002;40:1531–40.33Copies: This document is available on the World Wide Web sites of the ACC (www.acc.org) and the AHA (www.americanheart.org). A single copy of the complete guidelines is available by calling 800-253-4636 (US only) or writing the American College of Cardiology, Resource Center, 9111 Old Georgetown Road, Bethesda, MD 20814-1699. Ask for reprint No. 71-0231. To obtain a copy of the Executive Summary published in the October 1, 2002 issue of Circulation, ask for reprint No. 71-0232. To purchase additional reprints (specify version and reprint number): up to 999 copies, call 800-611-6083 (US only) or fax 413-665-2671; 1000 or more copies, call 410-528-4426, fax 410-528-4264, or e-mail kbradle@lww.com.44(J Am Coll Cardiol 2002;40:1531–40.)55©2002 by the American College of Cardiology Foundation and the American Heart Association, Inc. [O] . Gibbons Raymond J, Balady Gary J, Timothy Bricker J, 2002

机译：ACC / AHA 2002年运动测试指南更新：摘要文章美国心脏病学会/美国心脏协会实践指南工作组的报告（委员会对1997年运动测试指南进行了更新）11ACC / AHA实践指南工作组使每一个努力避免由于写作小组成员的外部关系或个人利益而引起的任何实际或潜在的利益冲突。具体来说，要求写作小组的所有成员提供所有可能被视为实际或潜在利益冲突的关系的披露声明。这些声明由上级工作组进行审查，在第一次会议上向书面小组的所有成员口头报告，并在发生变化时进行更新。22本文件于2002年7月获得美国心脏病学会基金会理事会的批准。美国心脏协会科学咨询和协调委员会于2002年6月提出。引用该文件时，美国心脏病学会基金会和美国心脏协会将赞赏以下引用格式：Gibbons RJ，Balady GJ，Bricker JT，Chaitman BR，Fletcher GF， Froelicher VF，Mark DB，McCalister BD，Mooss AN，O'Reilly MG，Winters WL Jr.ACC / AHA 2002锻炼测试指南更新：摘要文章：ACC / AHA实践指南工作组的报告（更新委员会）（1997年运动测试指南）。 J Am Coll Cardiol 2002； 40：1531–40.33副本：该文档可在ACC（www.acc.org）和AHA（www.americanheart.org）的万维网站点上找到。可以通过致电800-253-4636（仅限美国）或写信给美国心脏病学会资源中心（位于贝塞斯达，乔治市老街9111号，马里兰州20814-1699）来获得完整指南的单个副本。要求转载第71-0231号。要获得发表在2002年10月1日的《发行》上的《执行摘要》，请索阅第71-0232号。要购买其他重印本（指定版本和重印本号码）：最多999份，请致电800-611-6083（仅限美国）或传真413-665-2671；否则，请重新发送。 1000份或更多，请致电410-528-4426，传真410-528-4264或电子邮件kbradle@lww.com.44（美国运筹学杂志，2002； 40：1531–40。）55©2002心脏病学基金会基金会和美国心脏协会有限公司

CORRECTNESS IN CRYPTOGRAPHIC PROTOCOLS FOR ELECTRONIC DOCUMENT CIRCULATION WITH SCOPE FOR ANALYZING CONFLICTS

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅