Steven T. Eckmann

Publication Activity (10 Years)

Years Active: 1985-2002
Publications (10 Years): 0

Publications

Steven T. Eckmann, Giovanni Vigna, Richard A. Kemmerer
STATL: An Attack Language for State-Based Intrusion Detection. J. Comput. Secur. 10 (1/2) (2002)
Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff
Understanding Integrated Circuits. IEEE Des. Test Comput. 16 (2) (1999)
Steven T. Eckmann
Eliminating formal flows in automated information flow analysis. IEEE Symposium on Security and Privacy (1994)
Steven T. Eckmann, Richard A. Kemmerer
INATEST: an interactive environment for testing formal specifications. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)