A Modeling Framework for Generating Security Protocol Specifications

Author

Béla, Genge ; Piroska, Haller

Author_Institution

Electr. Eng. Dept., Petru Maior Univ. of Targu Mures, Targu Mures, Romania

fYear

2008

fDate

26-29 Sept. 2008

Firstpage

362

Lastpage

365

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 IS09798 protocol, the CCITTX.509 data transfer protocol and the Kerberos symmetric key protocol.

Keywords

cryptographic protocols; formal specification; knowledge representation languages; ontologies (artificial intelligence); semantic Web; CCITTX.509 data transfer protocol; IS09798 protocol; Kerberos symmetric key protocol; OWL-based specification; modeling framework; ontology; security protocol specification generation; semantical component; Access protocols; Authentication; Communication system security; Cryptographic protocols; Data security; Markup languages; OWL; Ontologies; Scientific computing; Web services; framework; ontology; security protocol; specification;

fLanguage

English

Publisher

ieee

Conference_Titel

Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on

Conference_Location

Timisoara

Print_ISBN

978-0-7695-3523-4

Type

conf

DOI

10.1109/SYNASC.2008.21

Filename

5204839