Local abstract verification and refinement of security protocols.

Ti Zhou Mengjun Li Zhoujun Li Local abstract verification and refinement of security protocols. 21-30 2008 FMSE http://doi.acm.org/10.1145/1456396.1456399 conf/ccs/2008fmse db/conf/ccs/fmse2008.html#ZhouLL08