Skip to main content


eCommons@Cornell >

Browsing by Author Schneider, Fred B.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 14 to 33 of 99
< previous   next >
PreviewIssue DateTitleAuthor(s)
8-Dec-2000COCA: A Secure Distributed On-line Certification AuthorityZhou, Lidong; Schneider, Fred B.; van Renesse, Robbert
28-Jul-2004CODEX: A Robust and Secure Secret Distribution SystemMarsh, Michael A.; Schneider, Fred B.
Jul-1986Completeness and Incompleteness of Trace-Based Network Proof SystemsWidom, Jennifer; Gries, David; Schneider, Fred B.
26-Aug-2003Computability Classes for Enforcement MechanismsHamlen, Kevin W.; Morrisett, Greg; Schneider, Fred B.
Sep-1982Concepts and Notations for Concurrent ProgrammingAndrews, Gregory R.; Schneider, Fred B.
Sep-1984Constraints: A Uniform Approach to Aliasing and TypingLamport, Leslie; Schneider, Fred B.
Nov-1998Critical Infrastructures You Can Trust: Where Telecommunications FitsSchneider, Fred B.; Bellovin, Steven M.; Inouye, Alan S.
May-1988Critical (of) Issues in Real-Time Systems: A Position PaperSchneider, Fred B.
Jul-1996Cryptographic Support for Fault-Tolerant Distributed ComputingMinsky, Yaron; Johansen, Dag; van Renesse, Robbert; Schneider, Fred B.
Oct-1987Decomposing Properties into Safety and LivenessSchneider, Fred B.
Oct-1985Defining LivenessAlpern, Bowen; Schneider, Fred B.
Dec-1983Derivation of a Distributed Algorithm for Finding Paths in Directed NetworksMcCurley, E. Robert; Schneider, Fred B.
Jul-1991Derivation of Sequential, Real-Time, Process-Control ProgramsMarzullo, Keith; Schneider, Fred B.; Budhiraja, Navin
Dec-1980Detecting Distributed Termination When Processors Can FailLermen, C. W.; Schneider, Fred B.
6-Jan-2004Distributed Blinding for ElGamal Re-encryptionZhou, Lidong; Marsh, Michael A.; Schneider, Fred B.; Redz, Anna
Jun-1983A Distributed Path Algorithm and Its Correctness ProofWright, David D.; Schneider, Fred B.
23-Jan-2004Distributed Trust: Supporting Fault-tolerance and Attack-toleranceSchneider, Fred B.; Zhou, Lidong
19-Apr-2011Doctrine for CybersecurityMulligan, Deirdre K.; Schneider, Fred B.
Dec-1983Documentation for the CHIP Computer System (Version 1.1)Babaoglu, Ozalp; Bussan, Mimi; Drummond, Rogerio; Schneider, Fred B.
Jan-1998Enforceable Security PoliciesSchneider, Fred B.
Showing results 14 to 33 of 99
< previous   next >


© 2014 Cornell University Library Contact Us