Long ago, alice and bob shared an n-bit secret key but now they are no longer sure they still possess the same key. to verify that the key ka currently held by alice is the same as the key kb currently held by bob, they need to communicate over an insecure channel.

(1) which two basic security properties should be considered in the design of a secure protocol for solving the above problem and why these properties become relevant in this setting?