B SchneiderFred

发表

Fail-stop processors

D SchlichtingRichard, B SchneiderFred, 1983 .

Inside risks: evolving telephone networks

B SchneiderFred, M BellovinSteven, 1999 .

ViewpointProgram committee overload in systems

BirmanKen, B SchneiderFred, 2009 .

Hypervisor-based fault tolerance

B SchneiderFred, C BressoudThomas, 1996 .

Synchronization in Distributed Programs

B SchneiderFred, 1982 .

Independence from obfuscation: A semantic framework for diversity

B SchneiderFred, PucellaRiccardo, 2010 .

Implementing fault-tolerant services using the state machine approach: a tutorial

B SchneiderFred, 1990 .

User Recovery and Reversal in Interactive Systems

B SchneiderFred, E ArcherJames, ConwayRichard, 1984 .

Impediments with policy interventions to foster cybersecurity

B SchneiderFred, 2018 .

Computability classes for enforcement mechanisms

B SchneiderFred, MorrisettGreg, W HamlenKevin, 2006 .

Nexus authorization logic (NAL)

B SchneiderFred, SirerEmin Gün, WalshKevin, 2011 .

The ``Hoare Logic'' of CSP, and All That

B SchneiderFred, LamportLeslie, 1984 .

Putting trust in security engineering

B SchneiderFred, 2018 .

Concepts and Notations for Concurrent Programming

B SchneiderFred, R AndrewsGregory, 1983 .

Enforceable security policies

B SchneiderFred, 2000 .

Using message passing for distributed programming: proof rules and disciplines

D SchlichtingRichard, B SchneiderFred, 1984 .

Byzantine generals in action

B SchneiderFred, 1984 .