A Modeling Framework for Generating Security Protocol Specifications

Details A Modeling Framework for Generating Security Protocol Specifications A Modeling Framework for Generating Security Protocol Specifications

2009-08-21

arxiv.org/abs/0908.3090v1

Computer Science

Cryptography and Security

10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'08), Workshop on Global Compu

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Modeling Framework for Generating Security Protocol Specifications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Modeling Framework for Generating Security Protocol Specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Modeling Framework for Generating Security Protocol Specifications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-666536