D. G. Weber

According to our database, D. G. Weber authored at least 3 papers between 1988 and 1989.

Collaborative distances:

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

1989

Formal specification of fault-tolerance and its relation to computer security.

D. G. Weber

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1988

A secure distributed operating system.

Thomas A. Casey Jr., Stephen T. Vinter, D. G. Weber, Rammohan Varadarajan, David Rosenthal

Proceedings of the 1988 IEEE Symposium on Security and Privacy, 1988

Quantitative Formal Security Analysis.

D. G. Weber

Proceedings of the First IEEE Computer Security Foundations Workshop, 1988