加密协议逻辑的形式语义

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

P. Syverson

{"title":"加密协议逻辑的形式语义","authors":"P. Syverson","doi":"10.1109/CSFW.1990.128183","DOIUrl":null,"url":null,"abstract":"A logic and associated formal semantics specifically designed to represent and analyze cryptographic protocols are presented. A language is given with distinct means to represent knowledge of an individual word (e.g., the ability to recognize or produce a decryption key) and propositional knowledge. A sample analysis of a protocol is given to demonstrate the potential usefulness of the system.<<ETX>>","PeriodicalId":185508,"journal":{"name":"[1990] Proceedings. The Computer Security Foundations Workshop III","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"34","resultStr":"{\"title\":\"Formal semantics for logics of cryptographic protocols\",\"authors\":\"P. Syverson\",\"doi\":\"10.1109/CSFW.1990.128183\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A logic and associated formal semantics specifically designed to represent and analyze cryptographic protocols are presented. A language is given with distinct means to represent knowledge of an individual word (e.g., the ability to recognize or produce a decryption key) and propositional knowledge. A sample analysis of a protocol is given to demonstrate the potential usefulness of the system.<<ETX>>\",\"PeriodicalId\":185508,\"journal\":{\"name\":\"[1990] Proceedings. The Computer Security Foundations Workshop III\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-06-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"34\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1990] Proceedings. The Computer Security Foundations Workshop III\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CSFW.1990.128183\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1990] Proceedings. The Computer Security Foundations Workshop III","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CSFW.1990.128183","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 34

摘要

提出了一种专门用于表示和分析密码协议的逻辑和相关的形式化语义。一种语言被赋予了不同的方式来表示单个单词的知识(例如，识别或产生解密密钥的能力)和命题知识。给出了一个协议的示例分析，以证明该系统的潜在有用性。

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

查看原文本刊更多论文

Formal semantics for logics of cryptographic protocols

A logic and associated formal semantics specifically designed to represent and analyze cryptographic protocols are presented. A language is given with distinct means to represent knowledge of an individual word (e.g., the ability to recognize or produce a decryption key) and propositional knowledge. A sample analysis of a protocol is given to demonstrate the potential usefulness of the system.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1990] Proceedings. The Computer Security Foundations Workshop III

自引率

0.00%

发文量