D. G. Weber

Publication Activity (10 Years)

Years Active: 1988-1989
Publications (10 Years): 0

Publications

D. G. Weber
Formal specification of fault-tolerance and its relation to computer security. IWSSD (1989)
D. G. Weber
Quantitative Formal Security Analysis. CSFW (1988)
Thomas A. Casey Jr., Stephen T. Vinter, D. G. Weber, Rammohan Varadarajan, David Rosenthal
A secure distributed operating system. IEEE Symposium on Security and Privacy (1988)