Analyzing iKP Security in Applied Pi Calculus.

Yonggen Gu, Guoqiang Li, Yuxi Fu

Browse the full CIS paper archive.