Dept. of Computer Science & Eng., Shanghai Jiaotong Univ., Shanghai 200030, China Dept. of Computer Science & Eng., Shanghai Jiaotong Univ., Shanghai 200030, China Dept. of Computer Science & Eng., Shanghai Jiaotong Univ., Shanghai 200030, China;
dynamic; strand; space; cryptographic; protocols; formal; specification; language;