用于合并安全协议分析中不一致信念的框架

International Workshop on Data Engineering Issues in E-Commerce Pub Date : 2005-04-09 DOI:10.1109/DEEC.2005.1

Qingfeng Chen, Y. Chen, Chengqi Zhang, Shichao Zhang

{"title":"用于合并安全协议分析中不一致信念的框架","authors":"Qingfeng Chen, Y. Chen, Chengqi Zhang, Shichao Zhang","doi":"10.1109/DEEC.2005.1","DOIUrl":null,"url":null,"abstract":"This paper proposes a framework for merging inconsistent beliefs in the analysis of security protocols. The merge application is a procedure of computing the inferred beliefs of message sources and resolving the conflicts among the sources. Some security properties of secure messages are used to ensure the correctness of authentication of messages. Several instances are presented, and demonstrate our method is useful in resolving inconsistent beliefs in secure messages.","PeriodicalId":297129,"journal":{"name":"International Workshop on Data Engineering Issues in E-Commerce","volume":"9 2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A framework for merging inconsistent beliefs in security protocol analysis\",\"authors\":\"Qingfeng Chen, Y. Chen, Chengqi Zhang, Shichao Zhang\",\"doi\":\"10.1109/DEEC.2005.1\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper proposes a framework for merging inconsistent beliefs in the analysis of security protocols. The merge application is a procedure of computing the inferred beliefs of message sources and resolving the conflicts among the sources. Some security properties of secure messages are used to ensure the correctness of authentication of messages. Several instances are presented, and demonstrate our method is useful in resolving inconsistent beliefs in secure messages.\",\"PeriodicalId\":297129,\"journal\":{\"name\":\"International Workshop on Data Engineering Issues in E-Commerce\",\"volume\":\"9 2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-04-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Workshop on Data Engineering Issues in E-Commerce\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DEEC.2005.1\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Data Engineering Issues in E-Commerce","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DEEC.2005.1","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文提出了一个在安全协议分析中合并不一致信念的框架。合并应用程序是计算消息源的推断信念并解决消息源之间冲突的过程。安全消息的一些安全属性用于保证消息认证的正确性。给出了几个实例，并证明了我们的方法在解决安全消息中的不一致信念方面是有用的。

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

查看原文本刊更多论文

A framework for merging inconsistent beliefs in security protocol analysis

This paper proposes a framework for merging inconsistent beliefs in the analysis of security protocols. The merge application is a procedure of computing the inferred beliefs of message sources and resolving the conflicts among the sources. Some security properties of secure messages are used to ensure the correctness of authentication of messages. Several instances are presented, and demonstrate our method is useful in resolving inconsistent beliefs in secure messages.

求助全文

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

来源期刊

International Workshop on Data Engineering Issues in E-Commerce

自引率

0.00%

发文量