Dependable Computing for Critical Applications 4

  • Flaviu Cristian
  • Gerard Le Lann
  • Teresa Lunt

Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 9)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Formal Methods for Critical Systems

    1. Front Matter
      Pages 1-1
    2. Glenn Bruns, Stuart Anderson
      Pages 15-27
  3. Panel Session: Formal Methods for Safety in Critical Systems

    1. Front Matter
      Pages 29-29
    2. Steven P. Miller
      Pages 33-35
    3. Natarajan Shankar
      Pages 41-42
    4. Fred B. Schneider
      Pages 43-45
  4. Combining the Fault-Tolerance, Security and Real-Time Aspects of Computing

    1. Front Matter
      Pages 47-47
    2. Peter K. Boucher, Raymond K. Clark, Ira B. Greenberg, E. Douglas Jensen, Douglas M. Wells
      Pages 49-68
  5. Secure Systems

    1. Front Matter
      Pages 91-91
    2. Jonathan K. Millen
      Pages 93-108
    3. Rajashekar Kailar, Virgil D. Gligor, Stuart G. Stubblebine
      Pages 109-137
    4. Rajashekar Kailar, Virgil D. Gligor, Li Gong
      Pages 139-157
  6. Assessment of Dependability

    1. Front Matter
      Pages 159-159
    2. Chris Garrett, Michael Yau, Sergio Guarro, George Apostolakis
      Pages 161-184
    3. Danforth Ball, Amir Abouelnaga
      Pages 185-207
  7. Panel Session: Qualitative versus Quantitative Assessment of Security

    1. Front Matter
      Pages 209-209
    2. Bev Littlewood
      Pages 219-221
    3. John McLean
      Pages 223-226
    4. Jonathan K. Millen
      Pages 229-230
  8. Basic Problems in Distributed Fault-Tolerant Systems

    1. Front Matter
      Pages 231-231
    2. C. J. Walter, N. Suri, M. M. Hugue
      Pages 233-249
  9. Specification and Verification of Distributed Protocols

    1. Front Matter
      Pages 269-269
  10. Design Techniques for Robustness

    1. Front Matter
      Pages 325-325
    2. Nasser A. Kanawati, Ghani A. Kanawati, Jacob A. Abraham
      Pages 327-347
  11. Panel Session: Common Techniques in Fault-Tolerance and Security

    1. Front Matter
      Pages 371-371
    2. Yves Deswarte
      Pages 379-381
    3. Catherine Meadows
      Pages 383-385
    4. Peter G. Neumann
      Pages 387-388
    5. Brian Randell
      Pages 389-391
  12. Real-Time Systems

    1. Front Matter
      Pages 397-397
    2. Michel Goemans, Nancy Lynch, Isaac Saias
      Pages 399-409
    3. Sandra Ramos-Thuel, Jay K. Strosnider
      Pages 411-432
  13. Evaluation of Dependability Aspects

About these proceedings


This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994. In keeping with the previous three conferences held in August 1989 at Santa Barbara (USA), in February 1991 at Tucson (USA), and in September 1992 at Mondello (Italy), the conference was concerned with an important basic question: can we rely on computer systems for critical applications? This conference, like its predecessors, addressed various aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security and performance. Because of its broad scope, a main goal was to contribute to a unified understanding and integration of these concepts. The Program Committee selected 21 papers for presentation from a total of 95 submissions at a September meeting in Menlo Park, California. The resulting program represents a broad spectrum of interests, with papers from universities, corporations and government agencies in eight countries. The selection process was greatly facilitated by the diligent work of the program committee members, for which we are most grateful. As a Working Conference, the program was designed to promote the exchange of ideas by extensive discussions. All paper sessions ended with a 30 minute discussion period on the topics covered by the session. In addition, three panel sessions have been organizcd.


Mathematica computer formal method formal methods logic mathematical logic safety

Editors and affiliations

  • Flaviu Cristian
    • 1
  • Gerard Le Lann
    • 2
  • Teresa Lunt
    • 3
  1. 1.University of CaliforniaLa JollaUSA
  2. 2.INRIALe ChesnayFrance
  3. 3.ARPA/CSTOArlingtonUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Vienna 1995
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-7091-9398-3
  • Online ISBN 978-3-7091-9396-9
  • Series Print ISSN 0932-5581
  • Buy this book on publisher's site