Steven T. Eckmann

According to our database, Steven T. Eckmann authored at least 4 papers between 1985 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

STATL: An Attack Language for State-Based Intrusion Detection.

Steven T. Eckmann, Giovanni Vigna, Richard A. Kemmerer

J. Comput. Secur., 2002

1999

Understanding Integrated Circuits.

Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff

IEEE Des. Test Comput., 1999

1994

Eliminating formal flows in automated information flow analysis.

Steven T. Eckmann

Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994

1985

INATEST: an interactive environment for testing formal specifications.

Steven T. Eckmann, Richard A. Kemmerer

ACM SIGSOFT Softw. Eng. Notes, 1985