Download presentation

Presentation is loading. Please wait.

Published byAshleigh Corke Modified over 2 years ago

1
The Andrew Protocol Corrected 1 A B : {N A } K AB 2 B A : {N A,N B } K AB 3 A B : {N B } K AB 4 B A : {K AB,N B,N A } K AB

2
The Andrew Protocol Corrected 1 A B : {N A } K AB 2 B A : {N A,N B } K AB 3 A B : {N B } K AB 4 B A : {K AB,N B,N A } K AB N A in the 4 th message is kown by A to be fresh

3
Checking the Andrew Protocol Corrected B BABA B B shk K' AB shk K' AB fresh {K' AB,N' B,N A } K AB shk K' AB AG(rec {K' AB,N' B } K AB B A fresh N A B A B B shk K' AB )

4
shk K' AB Checking the Andrew Protocol Corrected B BABA B B shk K' AB AG(rec {K' AB,N' B } K AB B A fresh N A B A B B shk K' AB ) rec {K' AB,N' B,N A } K AB B B send A {K' AB,N' B,N A } K AB fresh {K' AB,N' B,N A } K AB B B fresh{K' AB,N' B,N A } K AB (fresh K' AB fresh N' B fresh N A ) rec {K' AB,N' B,N A } K AB fresh {K' AB,N' B,N A } K AB

5
AG(rec {K' AB,N' B } K AB B A fresh N A B A B B shk K' AB ) Checking the Andrew Protocol Corrected B BABA B B shk K' AB shk K' AB rec A {K' AB,N' B,N A } K AB B A rec {K' AB,N' B,N A } K AB The property holds of the corrected Andrew Protocol

Similar presentations

OK

Modelling and Analysing of Security Protocol: Lecture 12 Probabilistic Modelling Checking of Anonymous Systems Tom Chothia CWI.

Modelling and Analysing of Security Protocol: Lecture 12 Probabilistic Modelling Checking of Anonymous Systems Tom Chothia CWI.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on job evaluation examples Ppt on iso-osi reference model Ppt on steve jobs biography Ppt on pollution of air and water Ppt on e waste management in india Ppt on 5 elements of earth Ppt on sikkim culture Ppt on network analysis Ppt on share market basics Ppt on different types of forests in the world