Week 6

Question 1

What are the Protocol types syntax?

Answer 1

Agent: A, B

Number (Nonce): NA, NB (A and B written in lower font)

Function: pk , eg. pk(B) -> private key of agent B

Question 2

What does a Secure Transmission look like in syntax?

Answer 2

A● -> ●B: NA

Secure transmission of nonce NA from A to B

The goal is to ensure that NA is transmitted safely from A to B without being tampered with or intercepted by unauthorised parties

Question 3

What does a Authentic Transmission look like in syntax?

Answer 3

A● -> B: NA

Authentic transmission of nonce NA from A to B

The goal is for B to be condifent that the NA it receives indeed came from A and not from an attacker pretending to be A

Question 4

What does a Confidential Transmission look like in syntax?

Answer 4

A -> ●B: NA

Confidential transmission of nonce NA from A to B

The goal is to ensure that only B can see the transmitted NA. No third party or attacker can eavesdrop and learn the nonce

Question 5

What is a summary of each transmission type?

Answer 5

Secure Transmission: Ensure it gets there safely without tampering

Authentic Transmission: Ensure it really came from A

Confidential Transmission: Ensure only
B can read it