|
|
eCommons@Cornell >
Browsing by Author Schneider, Fred B.
Showing results 14 to 33 of 98
| Preview | Issue Date | Title | Author(s) | | 8-Dec-2000 | COCA: A Secure Distributed On-line Certification Authority | Zhou, Lidong; Schneider, Fred B.; van Renesse, Robbert |
| 28-Jul-2004 | CODEX: A Robust and Secure Secret Distribution System | Marsh, Michael A.; Schneider, Fred B. |
| Jul-1986 | Completeness and Incompleteness of Trace-Based Network Proof Systems | Widom, Jennifer; Gries, David; Schneider, Fred B. |
| 26-Aug-2003 | Computability Classes for Enforcement Mechanisms | Hamlen, Kevin W.; Morrisett, Greg; Schneider, Fred B. |
| Sep-1982 | Concepts and Notations for Concurrent Programming | Andrews, Gregory R.; Schneider, Fred B. |
| Sep-1984 | Constraints: A Uniform Approach to Aliasing and Typing | Lamport, Leslie; Schneider, Fred B. |
| Nov-1998 | Critical Infrastructures You Can Trust: Where Telecommunications Fits | Schneider, Fred B.; Bellovin, Steven M.; Inouye, Alan S. |
| May-1988 | Critical (of) Issues in Real-Time Systems: A Position Paper | Schneider, Fred B. |
| Jul-1996 | Cryptographic Support for Fault-Tolerant Distributed Computing | Minsky, Yaron; Johansen, Dag; van Renesse, Robbert; Schneider, Fred B. |
| Oct-1987 | Decomposing Properties into Safety and Liveness | Schneider, Fred B. |
| Oct-1985 | Defining Liveness | Alpern, Bowen; Schneider, Fred B. |
| Dec-1983 | Derivation of a Distributed Algorithm for Finding Paths in Directed Networks | McCurley, E. Robert; Schneider, Fred B. |
| Jul-1991 | Derivation of Sequential, Real-Time, Process-Control Programs | Marzullo, Keith; Schneider, Fred B.; Budhiraja, Navin |
| Dec-1980 | Detecting Distributed Termination When Processors Can Fail | Lermen, C. W.; Schneider, Fred B. |
| 6-Jan-2004 | Distributed Blinding for ElGamal Re-encryption | Zhou, Lidong; Marsh, Michael A.; Schneider, Fred B.; Redz, Anna |
| Jun-1983 | A Distributed Path Algorithm and Its Correctness Proof | Wright, David D.; Schneider, Fred B. |
| 23-Jan-2004 | Distributed Trust: Supporting Fault-tolerance and Attack-tolerance | Schneider, Fred B.; Zhou, Lidong |
| 19-Apr-2011 | Doctrine for Cybersecurity | Mulligan, Deirdre K.; Schneider, Fred B. |
| Dec-1983 | Documentation for the CHIP Computer System (Version 1.1) | Babaoglu, Ozalp; Bussan, Mimi; Drummond, Rogerio; Schneider, Fred B. |
| Jul-1999 | Enforceable Security Policies | Schneider, Fred B. |
Showing results 14 to 33 of 98
|
