D. G. Weber. Formal specification of fault-tolerance and its relation to computer security. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 273-277, ACM, 1989. [doi]
Abstract is missing.