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;