Dave Peticolas

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu
Intrusion detection inter-component adaptive negotiation. Comput. Networks 34 (4) (2000)
Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu
Intrusion Detection Inter-component Adaptive Negotiation. Recent Advances in Intrusion Detection (1999)
Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test. Verification Reliab. 9 (2) (1999)
Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
Verification of a Distributed Computing. HICSS (5) (1997)
Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson
Towards Applying the Composition Principle to Verify a Microkernel Operating System. TPHOLs (1996)