生成安全协议规范的建模框架

Proceedings. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2009-08-21 DOI:10.1109/SYNASC.2008.21

B. Genge, P. Haller

{"title":"生成安全协议规范的建模框架","authors":"B. Genge, P. Haller","doi":"10.1109/SYNASC.2008.21","DOIUrl":null,"url":null,"abstract":"We propose a modeling framework for generating security protocol specifications. The generated protocol specifications rely on the use of a sequential and a semantical component. The first component defines protocol properties such as preconditions, effects, message sequences and it is developed as a WSDL-S specification. The second component defines the semantic aspects corresponding to the messages included in the first component by the use of ontological constructions and it is developed as an OWL-based specification. Our approach was validated on 13 protocols from which we mention: the ISO9798 protocol, the CCITTX.509 data transfer protocol and the Kerberos symmetric key protocol.","PeriodicalId":91954,"journal":{"name":"Proceedings. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"70 1","pages":"362-365"},"PeriodicalIF":0.0000,"publicationDate":"2009-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A Modeling Framework for Generating Security Protocol Specifications\",\"authors\":\"B. Genge, P. Haller\",\"doi\":\"10.1109/SYNASC.2008.21\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We propose a modeling framework for generating security protocol specifications. The generated protocol specifications rely on the use of a sequential and a semantical component. The first component defines protocol properties such as preconditions, effects, message sequences and it is developed as a WSDL-S specification. The second component defines the semantic aspects corresponding to the messages included in the first component by the use of ontological constructions and it is developed as an OWL-based specification. Our approach was validated on 13 protocols from which we mention: the ISO9798 protocol, the CCITTX.509 data transfer protocol and the Kerberos symmetric key protocol.\",\"PeriodicalId\":91954,\"journal\":{\"name\":\"Proceedings. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"volume\":\"70 1\",\"pages\":\"362-365\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-08-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SYNASC.2008.21\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYNASC.2008.21","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

我们提出了一个用于生成安全协议规范的建模框架。生成的协议规范依赖于顺序组件和语义组件的使用。第一个组件定义协议属性，如先决条件、效果、消息序列，并作为WSDL-S规范开发。第二个组件通过使用本体结构定义与第一个组件中包含的消息相对应的语义方面，并作为基于owl的规范进行开发。我们的方法在我们提到的13个协议上进行了验证:ISO9798协议、CCITTX.509数据传输协议和Kerberos对称密钥协议。

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

查看原文本刊更多论文

A Modeling Framework for Generating Security Protocol Specifications

We propose a modeling framework for generating security protocol specifications. The generated protocol specifications rely on the use of a sequential and a semantical component. The first component defines protocol properties such as preconditions, effects, message sequences and it is developed as a WSDL-S specification. The second component defines the semantic aspects corresponding to the messages included in the first component by the use of ontological constructions and it is developed as an OWL-based specification. Our approach was validated on 13 protocols from which we mention: the ISO9798 protocol, the CCITTX.509 data transfer protocol and the Kerberos symmetric key protocol.

求助全文

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

来源期刊

Proceedings. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

自引率

0.00%

发文量