2009/08/21 by Bela Genge, Béla Genge, Genge, Bela +2
Computer Science · #Advanced Authentication Protocols Security #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #D.4.2 #FOS: Computer and information sciences #Formal Methods in Verification #Networking and Internet Architecture (cs.NI) #cs.CR #cs.NI
paper · pdf · doi:10.48550/arxiv.0908.3090
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
arxiv created 2009/08/21 · openalex publication_date 2009/08/21 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.