Local abstract verification and refinement of security protocols.

Ti Zhou, Mengjun Li, Zhoujun Li

Browse the full CCS paper archive.