NSPK Protocol

• Na, Nb are nonces; PKA, PKB are public keys

• The protocol - final handshake

  A -> B: {Na, A}PKB
  
  B -> A: {Na, Nb}PKA
  A -> B: {Nb}PKB
  

• Exercise: use BAN Logic to prove

  B bel A bel A <-Nb-> B [BAN90a]
  

Previous slide

Next slide

Back to first slide

View graphic version