4. Choose two principles given by Needham and Abadi for designing cryptographic protocols.

For each, give an example where their principle applies and results in an improved protocol.