|
Search the dblp DataBase
Benedetto L. DiVito:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Benedetto L. DiVito
Derived Information Sensitivity as a Modelling Technique. [Citation Graph (0, 0)][DBLP] CSFW, 1988, pp:182-187 [Conf]
- Benedetto L. DiVito
Integrated Methods for Protocol Specification and Verification. [Citation Graph (0, 0)][DBLP] PSTV, 1982, pp:411-433 [Conf]
- Benedetto L. DiVito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu
The Deductive Theory Manager: A Knowledge Based System for Formal Verification. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 1990, pp:306-318 [Conf]
- Benedetto L. DiVito, P. H. Palmquist, E. R. Anderson, M. L. Johnston
Specification and Verification of the ASOS Kernel. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 1990, pp:61-75 [Conf]
Search in 0.001secs, Finished in 0.001secs
|