A Simple Process Calculus for the analysis of Security Protocols.

Yonggen Gu, Yuxi Fu, Guoqiang Li

Browse the full PDCAT paper archive.