6PERRIG A, SZEWCZYK R, TYGAR J D, et al. SPINS: Security Protocols for Sensor Networks[J]. Wireless Networks Journal, 2002, 8(5): 521-534.
7ARMANDO A, BASIN D, BOICHUT Y, et al. The AVISPA rool for the Automated Validation of Internet Security Protocols and Applications[J]. Computer Science, 2005, 3576: 135-165.
8SMITH G. The Object-Z Specification Language[M]. Netherland : Kluwer Academic Publishers, 2000.
