A formal methodology for integral security design and verification of network protocols

Details A formal methodology for integral security design and verification of network protocols A formal methodology for integral security design and verification of network protocols

2012-01-26

arxiv.org/abs/1201.5666v1

Computer Science

Cryptography and Security

Scientific paper

In this work we propose a methodology for the verification of security properties of network protocols which would help preventing possible attacks on them. The methodology can be separated in two main parts: environment and requirements analysis, and formal representation and procedural verification of the protocol. In order to illustrate the advantages provided by the procedures introduced with our methodology, we analyze three real security protocols, explaining how some flaws can be detected. The main purpose of this work is to show how, by the application of a suitable methodology, protocol designers can help to avoid Internet crime.

Affiliated with

Also associated with

No associations

Rating

A formal methodology for integral security design and verification of network protocols 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 formal methodology for integral security design and verification of network protocols, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A formal methodology for integral security design and verification of network protocols will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-343193