A logic of communication in hostile environment

[1990] Proceedings. The Computer Security Foundations Workshop III Pub Date : 1990-06-12 DOI:10.1109/CSFW.1990.128181

P. Bieber

引用次数: 103

Abstract

The author adapts a knowledge-oriented model of distributed systems in order to analyze cryptographic protocols. This new model provides semantics for a logic of knowledge, time and communication. He expresses and proves with this logic security properties as secrecy and authentication.<>

查看原文本刊更多论文

敌对环境下的沟通逻辑

作者采用了一种面向知识的分布式系统模型来分析加密协议。这个新模型为知识、时间和交流的逻辑提供了语义。他用这个逻辑来表达和证明安全的性质，如保密性和认证性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1990] Proceedings. The Computer Security Foundations Workshop III

自引率

0.00%

发文量