Consider the following intruder knowledge: M {{m}y(n.), {{h(m)}mBg(n.), {n} }inv(pk(a, {\m|n29 n1, N2, pk(a), pk(b), pk(i), inv(pk(i)), {secret}pk(b), {{secret } rcfmbno) }inv(pk(a)} where 9 and h are functions (i.e., g, he and, in particular, g is a public function: h e Ep). Prove formally that the intruder can learn the message secret. Consider the following intruder knowledge: M {{m}y(n.), {{h(m)}mBg(n.), {n} }inv(pk(a, {\m|n29 n1, N2, pk(a), pk(b), pk(i), inv(pk(i)), {secret}pk(b), {{secret } rcfmbno) }inv(pk(a)} where 9 and h are functions (i.e., g, he and, in particular, g is a public function: h e Ep). Prove formally that the intruder can learn the message secret