Benedetto L. DiVito

According to our database, Benedetto L. DiVito authored at least 4 papers between 1981 and 1988.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1988

Derived Information Sensitivity as a Modelling Technique.

Benedetto L. DiVito

Proceedings of the First IEEE Computer Security Foundations Workshop, 1988

1983

Mechanical verification of a data transport protocol.

Benedetto L. DiVito

Proceedings of the symposium on Communications Architectures & Protocols, 1983

1982

Integrated Methods for Protocol Specification and Verification.

Benedetto L. DiVito

Proceedings of the Protocol Specification, 1982

1981

A verified encrypted packet interface.

Michael K. Smith, Ann E. Siebert, Benedetto L. DiVito, Donald I. Good

ACM SIGSOFT Softw. Eng. Notes, 1981