A Modeling Framework for Generating Security Protocol Specifications

Autor:	Genge, Bela, Haller, Piroska
Rok vydání:	2009
Předmět:	Computer Science - Cryptography and Security Computer Science - Networking and Internet Architecture D.4.2
Druh dokumentu:	Working Paper
Popis:	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. Comment: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'08), Workshop on Global Computing Models and Technologies, Timisoara, Romania, Sept. 2008, pp. 362-365, ISBN 978-0-7695-3523-4
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/0908.3090 Zobrazit plný text záznamu View this record from Arxiv