The Community for Technology Leaders
Computer Security, Dependability, and Assurance (1998)
York, England and Washington DC, USA
July 9, 1998 to July 11, 1998
ISSN: 1530-1869
ISBN: 0-7695-0337-3
TABLE OF CONTENTS

Preface (PDF)

pp. vi

Dependability - A Unifying Concept (Abstract)

Brian Randell , University of Newcastle upon Tyne
pp. 16

Error Recovery in Critical Infrastructure Systems (Abstract)

Matthew C. Elder , University of Virginia
Xing Du , University of Virginia
John C. Knight , University of Virginia
pp. 49

Security and Fault-Tolerance in Distributed Systems: An Actor-Based Approach (Abstract)

Gul A. Agha , University of Illinois at Urbana-Champaign
Reza Ziaei , University of Illinois at Urbana-Champaign
pp. 72

Towards a Discipline of System Engineering: Validation of Dependable Systems (Abstract)

Diego Latella , CNUCE-CNR
Andrea Bondavalli , CNUCE-CNR
Luca Simoncini , University of Pisa and CNUCE-CNR
Alessandro Fantechi , University of Florence and IEI-CNR
pp. 144

Security and Dependability: Then and Now (Abstract)

John McLean , Naval Research Laboratory
Catherine Meadows , Naval Research Laboratory
pp. 166

From Security to Safety and Back (Abstract)

Victoria Stavridou , SRI International
Bruno Dutertre , SRI International
pp. 182

A Fault Tolerance Approach to Survivability (Abstract)

Paul Ammann , George Mason University
Sushil Jajodia , George Mason University
Peng Liu , George Mason University
pp. 204

Author Index (PDF)

pp. 213
95 ms
(Ver 3.1 (10032016))