Quantitative Formal Security Analysis. - D. G. Weber (CSFW, 1988)

A secure distributed operating system. - Thomas A. Casey Jr.; Stephen T. Vinter; D. G. Weber; Rammohan Varadarajan; David Rosenthal (S&P, 1988)

Formal specification of fault-tolerance and its relation to computer security. - D. G. Weber (IWSSD, 1989)