Fred Cohen
University of Cincinnati
4 Papers
9 Citations
Fred Cohen is an academic researcher from University of Cincinnati. The author has contributed to research in topics: Trusted computing base & Covert channel. The author has an hindex of 2, co-authored 4 publications.
Chat about Author
Papers
Invited paper: On the implications of computer viruses and methods of defense
TL;DR: A method by which certain classes of systems may be used to provide limited protection from computer viruses and by which general purpose experiments in new protection mechanisms may be explored is introduced.
32
Refereed article: Designing provably correct information networks with digital diodes
TL;DR: This paper introduces the digital diode as a sufficient component to implement a general purpose flow control network and proves that with this component, it can build any desired POset network and enforce its information flow properties.
6
Two secure file servers
Fred Cohen,Stephen Bruhns +1 more
TL;DR: The design and implementation of a two secure file servers which allow a trusted computer network to be built from untrusted computing bases are described and the means by which such a server may be made provably secure are shown.
2
Maintaining a poor person's information integrity
TL;DR: Methods for maintaining the integrity of information in a sometimes corrupt information environment are presented, and their practical value is demonstrated by presenting methods to ensure that programs entering a computing environment are relatively benign.
2