A Modeling Framework for Generating Security Protocol Specifications - Computer Science > Cryptography and SecurityReport as inadecuate




A Modeling Framework for Generating Security Protocol Specifications - Computer Science > Cryptography and Security - Download this document for free, or read online. Document in PDF available to download.

Abstract: We propose a modeling framework for generating security protocolspecifications. The generated protocol specifications rely on the use of asequential and a semantical component. The first component defines protocolproperties such as preconditions, effects, message sequences and it isdeveloped as a WSDL-S specification. The second component defines the semanticaspects corresponding to the messages included in the first component by theuse of ontological constructions and it is developed as an OWL-basedspecification. Our approach was validated on 13 protocols from which wemention: the ISO9798 protocol, the CCITTX.509 data transfer protocol and theKerberos symmetric key protocol.



Author: Bela Genge, Piroska Haller

Source: https://arxiv.org/







Related documents