2ISO/IEC 9596-l,Lnformation Processing,Open System Interconnection,Common Management Information Protocol (CMIP) [S]. 1990.
3RAOUF B, SIMON Z. An architectural approach for integrated network and systems management[J]. Computer Communication Review, 1997, 27(1): 13-33.
4JONATHAN W, RAJIV T. An object-oriented approach to the management of distributed application systems[J]. Computer Networks and ISDN Systems, 1997, 29(3):1869-1879.
5SCHWABE D.Formal specification and verification of a connection establishment protocol[A].Proc Seventh Data Comm Symp[C].Mexico City, 1981.11-26.
6OLIVIER D. ASN.I-Communication Between Heterogeneous Systems[M].Morgan Kaufmann Publishers, 2000.
7G. Norman, V. Shmatikov. Analysis of probabilistic contract signing. In: Proc. BCS-FACS Formal Aspects of Security (FASec'02). New York: Springer-Verlag, 2002. 81～96.
8L. Buttyun, J. P. Pierre Hubaux, S. Capkun. A formal analysis of Syverson' s rational exchange protocol. In: Proc. the 15th IEEE Computer Security Foundations Workshop. Nova Scotia,Canada: Cape Breton, 2002. 24～26.
9S. Kremer, J. F. Raskin. Formal verification of non-repudiation protocols-A game approach. Formal Methods for Computer Security (FMCS 2000), Chicago, USA, 2000.
10M. Abadi, B. Blanchet. Computer-assisted verification of a protocol for certified email. The 10th Int'l Symposium (SAS'03), San Diego, California, 2003.
