 | 2003 |
|---|
| 5 |       | Darrell M. Kienzle,
Matthew C. Elder:
Recent worms: a survey and trends.
WORM 2003: 1-10 |
| 2001 |
|---|
| 4 |  | Victor Raskin,
Steven J. Greenwald,
Brenda Timmerman,
Darrell M. Kienzle:
Proceedings of the New Security Paradigms Workshop 2001, Cloudcroft, New Mexico, USA, September 10-13, 2001
ACM 2001 |
| 1997 |
|---|
| 3 | | Bob Blakley,
Darrell M. Kienzle:
Some weaknesses of the TCB model.
IEEE Symposium on Security and Privacy 1997: 3-5 |
| 1996 |
|---|
| 2 | | Ramesh V. Peri,
William A. Wulf,
Darrell M. Kienzle:
A Logic of Composition for Information Flow Predicates.
CSFW 1996: 82-94 |
| 1992 |
|---|
| 1 | | John C. Knight,
Darrell M. Kienzle:
Preliminary Experience Using Z to Specify a Safety-Critical System.
Z User Workshop 1992: 109-118 |
