协议认证中的身份识别介绍

The Third Annual Atlantic Test Workshop Pub Date : 2002-08-06 DOI:10.1109/ATW.1994.747848

C. Baron, J. Geffroy

{"title":"协议认证中的身份识别介绍","authors":"C. Baron, J. Geffroy","doi":"10.1109/ATW.1994.747848","DOIUrl":null,"url":null,"abstract":"This paper shows how formal identification methods can be applied to communication protocol validation. First the general context of protocol certification is presented according to two points of view: design verification and implementation testing. Then we introduce identification principles and their applications. Last we show the applicability of identification at different levels of conformance testing.","PeriodicalId":217615,"journal":{"name":"The Third Annual Atlantic Test Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Introduction Of Identification In Protocol Certification\",\"authors\":\"C. Baron, J. Geffroy\",\"doi\":\"10.1109/ATW.1994.747848\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper shows how formal identification methods can be applied to communication protocol validation. First the general context of protocol certification is presented according to two points of view: design verification and implementation testing. Then we introduce identification principles and their applications. Last we show the applicability of identification at different levels of conformance testing.\",\"PeriodicalId\":217615,\"journal\":{\"name\":\"The Third Annual Atlantic Test Workshop\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-08-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The Third Annual Atlantic Test Workshop\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ATW.1994.747848\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Third Annual Atlantic Test Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ATW.1994.747848","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文展示了形式化识别方法如何应用于通信协议验证。首先从设计验证和实现测试两个角度介绍了协议认证的一般背景。然后介绍了识别原理及其应用。最后，我们展示了识别在不同级别一致性测试中的适用性。

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

查看原文本刊更多论文

Introduction Of Identification In Protocol Certification

This paper shows how formal identification methods can be applied to communication protocol validation. First the general context of protocol certification is presented according to two points of view: design verification and implementation testing. Then we introduce identification principles and their applications. Last we show the applicability of identification at different levels of conformance testing.

求助全文

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

来源期刊

The Third Annual Atlantic Test Workshop

自引率

0.00%

发文量