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

• Authors:

• D. G. Weber

• Affiliations:

• Odyssey Research Associates, Inc., 301A Harris B. Dates Drive, Ithaca, New York

• Venue:
• IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
• Year:
• 1989