1T Tidwell,R Larson,K Fitch et al.Modeling Internet Attacks[C].In:Proceedings of the 2001 IEEE Workshop on Information Assurance and Security,2001:54～59
2Michael Spibey J.The Z notation:a reference manual[M].2nd edition,Prentice Hall,1992
3Reduce,Grosse,G Smith.Object-Z:a specification language advocated for the description of standards[S].Computer Standards and Interfaces,1995:511～533
4Zdzis?aw Pawlak.Rough sets[J]International Journal of Computer & Information Sciences,1982(5).
