On the Formal Modeling of Inductive Verification for Cryptographical Protocols.

Yongjian Li, Xiaoyu Song, Xiaojuan Li

Browse the full PDCAT paper archive.