Benedetto L. DiVito

	1990
4		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: 306-318
3		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: 61-75
	1988
2		Benedetto L. DiVito: Derived Information Sensitivity as a Modelling Technique. CSFW 1988: 182-187
	1982
1		Benedetto L. DiVito: Integrated Methods for Protocol Specification and Verification. PSTV 1982: 411-433

Coauthor Index

1	E. R. Anderson	[3]
2	Cristi Garvey	[4]
3	M. L. Johnston	[3]
4	D. Kwong	[4]
5	A. Murray	[4]
6	P. H. Palmquist	[3]
7	Jane Solomon	[4]
8	Amy Wu	[4]

Colors in the list of coauthors