The value of semantics for the analysis of cryptographic protocols

机译：加密协议分析的语义的价值

获取原文

获取外文期刊封面目录资料

页面导航

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

摘要

The author distinguishes between 'heuristic' and 'holistic' issues in the formal analysis of cryptographic protocols and discusses the contribution semantics can make to settling these issues.

机译：作者区分了对加密协议的正式分析中的“启发式”和“整体”问题，并讨论了贡献语义可以解决这些问题。

著录项

来源
《Computer Security Foundations Workshop》|1991年||共2页
会议地点
作者
Syverson P.; Institute of Electric and Electronic Engineer;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A structured operational semantic modelling of the Dolev-Yao threat environment and its composition with cryptographic protocols [J] . Wenbo Mao Computer standards & interfaces . 2005,第5期

机译：Dolev-Yao威胁环境的结构化操作语义建模及其加密协议的组成
2. A New Semantic Visual Cryptographic Protocol (SVCP) for Securing Multimedia Communications [J] . A. John Blesswin, P. Visalakshi, M. Karnan, International journal of soft computing . 2015,第2期

机译：用于保护多媒体通信安全的新语义视觉密码协议（SVCP）
3. A New Semantic Visual Cryptographic Protocol (SVCP) for Securing Multimedia Communications [J] . A. John Blesswin, P. Visalakshi, M. Karnan, International journal of soft computing . 2015,第2期

机译：用于保护多媒体通信的新的语义视觉密码协议（SVCP）
4. Formal Analysis for Cryptographic Protocols on a Trace Semantics [C] . International Conference on Future Networks . 2009

机译：跟踪语义上的加密协议正式分析
5. A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. [D] . Ramanathan, Ajith. 2005

机译：概率多项式时间过程演算，用于分析密码协议。
6. Design and Analysis of Optimization Algorithms to Minimize Cryptographic Processing in BGP Security Protocols [O] . Vinay K. Sriram, Doug Montgomery -1

机译：BGP安全协议中用于最小化加密处理的优化算法的设计和分析
7. Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols [O] . Gergei Bana, Koji Hasebe, Mitsuhiro Okada 2007

机译：密码协议一阶逻辑分析的计算语义
8. Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives [R] . Meadows, C. 2000

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

The value of semantics for the analysis of cryptographic protocols

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅