6Know Your Enmey: Honeywalt CDROM Roo.http: //www.honeynet.org/papers/cdrom/roo/index.htrnl.2005.
7Adnan Sherif,Ana Cavalcanti,He Jifeng,Augusto Sampaio.??A process algebraic framework for specification and validation of real-time systems(J)Formal Aspects of Computing . 2010 (2)