Zhang Shichao; Chen Phoebe; Zhang Chengqi; Chen Qingfeng
(Springer-Verlag, 2006)
Security protocols have been widely used to safeguard secure
electronic transactions. We usually assume that principals are credible and shall
not maliciously disclose their individual secrets to someone else. Nevertheless,
it ...