• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Informatica: An International Journal of Computing and Informatics >On the Properties of Epistemic and Temporal Epistemic Logics of Authentication
【24h】

On the Properties of Epistemic and Temporal Epistemic Logics of Authentication

机译：认证的认知和时间认知逻辑的性质

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The authentication properties of a security protocol are specified based on the knowledge gained by the principals that exchange messages with respect to the steps of that protocol. As there are many successful attacks on authentication protocols, different formal systems, in particular epistemic and temporal epistemic logics, have been developed for analyzing such protocols. However, such logics may fail to detect some attacks. To promote the specification and verification power of these logics, researchers may try to construct them in such a way that they preserve some properties such as soundness, completeness, being omniscience-free, or expressiveness. The aim of this paper is to provide an overview of the epistemic and temporal epistemic logics which are applied in the analysis of authentication protocols to find out how far these logical properties may affect analyzing such protocols.
机译：安全协议的身份验证属性是根据与该协议的步骤交换消息的主体所获得的知识来指定的。由于对身份验证协议有许多成功的攻击，因此已经开发出不同的形式系统，尤其是认知和时间认知逻辑来分析此类协议。但是，此类逻辑可能无法检测到某些攻击。为了提高这些逻辑的规范和验证能力，研究人员可能会尝试以某种方式构造它们，使其保留某些属性，例如健全性，完整性，无知性或表达性。本文的目的是概述认知逻辑和时间认知逻辑，这些逻辑将用于身份验证协议的分析，以找出这些逻辑属性可能在多大程度上影响对此类协议的分析。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号