50 likes | 130 Views
This protocol ensures secure communications between parties A and B through a series of encrypted messages and checks. It guarantees that messages are fresh and authenticated, enhancing data security. The property of the corrected Andrew Protocol holds, providing a robust framework for secure communication.
E N D
The Andrew Protocol Corrected 1 A B : {NA}KAB 2 B A : {NA,NB}KAB 3 A B : {NB}KAB 4 B A : {KAB,NB,NA}KAB
The Andrew Protocol Corrected 1 A B : {NA}KAB 2 B A : {NA,NB}KAB 3 A B : {NB}KAB 4 B A : {KAB,NB,NA}KAB NAin the 4th message is kown by A to be fresh
Checking the Andrew Protocol Corrected AG(rec {K'AB,N'B}KAB BA fresh NA BABB shk K'AB) e BA BB shk K'AB BB shk K'AB fresh {K'AB,N'B,NA}KABshk K'AB
Checking the Andrew Protocol Corrected AG(rec {K'AB,N'B}KAB BA fresh NA BABB shk K'AB) e BA BB shk K'AB BB rec {K'AB,N'B,NA}KABBB sendA{K'AB,N'B,NA}KAB fresh{K'AB,N'B,NA}KAB BB fresh{K'AB,N'B,NA}KAB (fresh K'AB fresh N'Bfresh NA) rec {K'AB,N'B,NA}KABfresh{K'AB,N'B,NA}KAB shk K'AB
Checking the Andrew Protocol Corrected AG(rec {K'AB,N'B}KAB BA fresh NA BABB shk K'AB) e recA {K'AB,N'B,NA}KAB BArec{K'AB,N'B,NA}KAB BA BB shk K'AB BB shk K'AB The property holds of the corrected Andrew Protocol