Benedetto L. DiVito

Publication Activity (10 Years)

Years Active: 1981-1990
Publications (10 Years): 0

Publications

Benedetto L. DiVito, P. H. Palmquist, E. R. Anderson, M. L. Johnston
Specification and Verification of the ASOS Kernel. IEEE Symposium on Security and Privacy (1990)
Benedetto L. DiVito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu
The Deductive Theory Manager: A Knowledge Based System for Formal Verification. IEEE Symposium on Security and Privacy (1990)
Benedetto L. DiVito
Derived Information Sensitivity as a Modelling Technique. CSFW (1988)
Benedetto L. DiVito
Mechanical verification of a data transport protocol. SIGCOMM (1983)
Benedetto L. DiVito
Integrated Methods for Protocol Specification and Verification. PSTV (1982)
Michael K. Smith, Ann E. Siebert, Benedetto L. DiVito, Donald I. Good
A verified encrypted packet interface. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)