Transport Level Security: a proof using the Gong-Needham-Yahalom Logic

Details Transport Level Security: a proof using the Gong-Needham-Yahalom Logic Transport Level Security: a proof using the Gong-Needham-Yahalom Logic

1999-04-14

arxiv.org/abs/cs/9904005v1

Computer Science

Cryptography and Security

22 pages, 2 figures, 1 appendix

Scientific paper

This paper provides a proof of the proposed Internet standard Transport Level Security protocol using the Gong-Needham-Yahalom logic. It is intended as a teaching aid and hopes to show to students: the potency of a formal method for protocol design; some of the subtleties of authenticating parties on a network where all messages can be intercepted; the design of what should be a widely accepted standard.

Affiliated with

Also associated with

No associations

Rating

Transport Level Security: a proof using the Gong-Needham-Yahalom Logic 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 Transport Level Security: a proof using the Gong-Needham-Yahalom Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Transport Level Security: a proof using the Gong-Needham-Yahalom Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-144966