Designing provably correct information networks with digital diodes

Fred Cohen. Designing provably correct information networks with digital diodes. Computers & Security, 7(3):279-286, 1988. [doi]

Abstract

Abstract is missing.