|
Search the dblp DataBase
Darrell M. Kienzle:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle
A Logic of Composition for Information Flow Predicates. [Citation Graph (0, 0)][DBLP] CSFW, 1996, pp:82-94 [Conf]
- Bob Blakley, Darrell M. Kienzle
Some weaknesses of the TCB model. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 1997, pp:3-5 [Conf]
- John C. Knight, Darrell M. Kienzle
Preliminary Experience Using Z to Specify a Safety-Critical System. [Citation Graph (0, 0)][DBLP] Z User Workshop, 1992, pp:109-118 [Conf]
Endpoint Configuration Compliance Monitoring via Virtual Machine Introspection. [Citation Graph (, )][DBLP]
Recent worms: a survey and trends. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|