1. ITU-T Z.500, Framework on Formal Methods in Conformance Testing. Geneva (1997)
2. Brzezinski, K.M.: Towards Practical Passive Testing. In: Proc. PDCN 2005, Innsbruck (2005)
3. Labib, K., Vemuri, V.R.: Detecting And Visualizing Denial-of-Service and Network Probe Attacks Using Principal Component Analysis. In: Proc. SAR 2004, La Londe (2004)
4. Debar, H., Dacier, M., Wespi, A.: Towards a Taxonomy of Intrusion Detection Systems. Computer Networks. Int. J. Comp. and Telecomm. Networking 31(9) (1999)
5. Ko, C., Ruschitzka, M., Levitt, K.: Execution Monitoring of Security-critical Programs in Distributed Systems: A Specification-based Approach. In: Proc. IEEE SSP (1997)