A Knowledge Base for Dependability and Security Research (2009)
Glaser, Hugh, Millard, Ian, Anderson, Tom, Andrews, Zoe, Fitzgerald, John, Randell, Brian
Research on computer system resilience, indeed on dependability and security generally, suffers from fragmentation into numerous partly-overlapping communities, and inconsistencies in terminology. As...
Fault Tolerance in Decentralized Systems (2008)
Abstract: In a decentralised system the problems of fault tolerance, and in particular error recovery, vary greatly depending on the design assumptions. For example, in a distributed database system,...
Memories of the NATO Software Engineering Conferences (2008)
following rendition of the preparation of the
Cheating is rampant in current game play on the Internet. However, it is not as well understood as one might expect. In this paper, we summarize the various known methods of cheating, and we define a...
LIMITED DISTRIBUTION NOTICE (2008)
Jean-claude Laprie, Brian Randell
This report has been submitted for publication. It has been issued as a research report for early peer distribution.
LIMITED DISTRIBUTION NOTICE (2008)
Jean-claude Laprie, Brian Randell
This report has been submitted for publication. It has been issued as a research report for early peer distribution. Abstract Dependability is the system property that integrates such attributes as...
On Failures and Faults 1 (2008)
Abstract: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large are becoming...
© 1995 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for...
Algirdas Avizienis, Jean-claude Laprie, Brian Randell
Abstract Dependability is the system property that integrates such attributes as reliability, availability, safety, security, survivability, maintainability. The aim of the presentation is to...
Processing for Fault and Intrusion Tolerance in Distributed Systems (2007)
Jean-charles Fabre, Brian Randell
Abstract. This paper describes a technique, called Object-Oriented Fragmented Data Processing, for jointly improving the reliability and security with which distributed computing systems process...
1. Introduction Edsger Dijkstra (2007)
I was most honoured, but also somewhat confused,
The ReSIST Resilience Knowledge Base (2007)
Anderson, Tom, Andrews, Zoe, Fitzgerald, John, Randell, Brian, Glaser, Hugh, Millard, Ian
We describe a prototype knowledge base that uses semantic web technologies to provide a service for querying a large and expanding collection of public data about resilience, dependability and...
The ReSIST Resilience Knowledge Base (2007)
Anderson, Tom, Andrews, Zoe, Fitzgerald, John, Randell, Brian, Glaser, Hugh, Millard, Ian
We describe a prototype knowledge base that uses semantic web technologies to provide a service for querying a large and expanding collection of public data about resilience, dependability and...
Ross Anderson, James Backhouse, Ewart Carson, Patrik O’brian Holt, Roland Ibbett, Ray Ison, ...
Contact email address: confidential AT nhs.it.info (replace “ AT “ by “@”) Extracted from the online dossier at
Voting technologies and trust (2006)
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a design for a manual...
Published by the University of Newcastle upon Tyne, (2005)
These reminiscences relate to the period that I spent during 1964-66 first in IBM Research working in Project Y and then in the Systems Development Division in the resulting ACS Project- then-secret...
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany in April 2004 and was attended by 32 people from different...
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different...
Basic Concepts and Taxonomy of Dependable and Secure Computing (2004)
Avizienis, Algirdas, Laprie, Jean-Claude, Randell, Brian, Landwehr, Carl
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc....
Basic Concepts and Taxonomy of Dependable and Secure Computing (2004)
Avizienis, Algirdas, Laprie, Jean-Claude, Randell, Brian, Landwehr, Carl
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc....
Dependable Pervasive Systems (2004)
Cliff Jones, Brian Randell, Cliff Jones, Brian R, Brian R
This document therefore concentrates on the problems of dependably producing large complex distributed systems to match their specifications within time and budget constraints, and the problems of...
The Atomic Manifesto: a Story in Four Quarks (2004)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This report summarizes the viewpoints and insights gathered in the Dagstuhl Seminar on Atomicity in System Design and Execution, which was attended by 32 people from four different scientific...
M. Dacier (editor, Marc Dacier, Dominique Alessandri, Raffael Marty, Christian Cachin, David Powell, ...
1.1 18.10.2001 Revised Outline of document 1.2 10.02.2002 Modifications to put text in sync with D2 1.3 20.04.2002 Modification on Section related to THOR 2.0 10.05.2002 Major revision on the...
Fundamental Concepts of Computer Systems Dependability (2001)
Jean-claude Laprie, Brian Randell
Abstract Dependability is the system property that integrates such attributes as reliability, availability, safety, security, survivability, maintainability. The aim of the presentation is to...
As individuals, organisations and indeed the world at large have become more dependent on computer-based systems, so there has been an ever-growing amount of research into means for improving the...
Turing Memorial Lecture Facing Up to Faults (2000)
As individuals, organizations and indeed the world at large have become more dependent on computer-based systems, so there has been an ever-growing amount of research into means for improving the...
Randell, Brian, Benjamin, Ralph, Gladman, Brian
The US Department of Defense suffered more than 165,000 successful attacks on its computers in 1995. If this IT fortress is so vulnerable, what hope is there for other users? Brian Randell, Ralph...
COALA - A Formal Language for Coordinated Atomic Actions (1998)
Vachon, Julie, Buchs, Didier, Buffo, Mathieu, Di Marzo Serugendo, Giovanna, Randell, Brian, Romanovsky, Sascha, ...
A Coordianted Atomic Action (CA Action) is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in distributed...
Dependability—A Unifying Concept (1998)
This paper discusses the need for a clear set of system dependability concepts and terminology, adequate for situations in which there are uncertainties about system boundaries, the very complexity...
Software Fault Tolerance in ObjectOriented Systems: Approaches, Implementation and Evaluation (1996)
Brian Randell, Brian R, Jie Xu, Avelino Zorzo
: In this paper we introduce our experience with the use of C++ (an object-oriented language) and Open C++ (a reflective version of C++) to implement reusable, dependable control structures that can...
Exception handling and resolution in distributed object-oriented systems (1996)
Alexander Romanovsky, Jie Xu, Brian Randell
We address the problem of how to handle exceptions in distributed object-oriented systems. In a distributed computing environment exceptions may be raised simultaneously and thus need to be treated...
Chapter 1: The evolution of the recovery block concept (1994)
This chapter reviews the development of the recovery block approach to software fault tolerance and subsequent work based on this approach. It starts with an account of the development and...
Approaches to Software Fault Tolerance (1993)
ABSTRACT- A personal and rather discursive account is given of the background to the start of work in the early 1970s at Newcastle on software fault tolerance, and of how work has developed to...
The Architecture of UNIX United (1987)
James P. Black, Lindsay F. Marshall, Brian Randell
UNIX United is an architecture for a distributed system based on UNIX. As it is compatible with UNIX at the system call level, any program written for a normal UNIX system can be transparently...
Hardware/Software Tradeoffs: A General Design Principle? by (1985)
“Hardware and software are logically equivalent. Any operation performed by software can also be built directly into the hardware and any instruction executed by the hardware can also be simulated...
State restoration in distributed systems (1978)
Philip M. Merlin, Brian Randell
This paper concerns an important aspect of the problem of designing fault-tolerant distributed com-puting systems. The concepts involved in "backward error recovery", i.e. restoring...
System Structure for Software Fault Tolerance (1975)
Abstract — This paper presents and discusses the rationale behind a method for structuring complex computing systems by the use of what we term “recovery blocks, ” “conversations, ” and...
A Computer Scientist’s Reactions to NPfIT (1024)
This paper contains a set of personal views relating to NHS Connecting for Health’s National Programme for IT (NPfIT), and in particular its Care Records Service, written from the point of view of...