rick@cs.arizona.edu (Rick Schlichting) (08/07/90)
** FINAL CALL FOR PAPERS **
Second IFIP Working Conference on
DEPENDABLE COMPUTING FOR CRITICAL APPLICATIONS
Can we rely on computers?
Hotel Park Tucson, Tucson, Arizona, USA
February 18-20, 1991
Organized by
IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance
In cooperation with
IFIP Technical Committee 11 on Security and Protection in
Information Processing Systems
IEEE Computer Society Technical Committee on Fault-Tolerant
Computing
EWICS Technical Committee 7 on Systems Reliability, Safety and
Security
The University of Arizona
This is the second Working Conference on this topic, following a successful
initial conference held in August, 1989, on the campus of the University of
California at Santa Barbara (USA). As evidenced by papers that were
presented and discussed at that meeting, critical applications of computing
systems are concerned with differing service properties, relating to both
the nature of proper service and the system's ability to deliver it. These
include thresholds of performance and real-time responsiveness that demark
loss of proper service (failure), continuity of proper service, ability
to avoid catastrophic failures, and prevention of deliberate privacy
intrusions. The notion of dependability, defined as the trustworthiness
of computer service such that reliance can justifiably be placed on this
service, enables these various concerns to be subsumed within a single
conceptual framework. Dependability thus includes as special cases such
attributes as reliability, availability, safety, and security. In keeping
with the goals of the previous conference, the aim of this meeting is to
encourage further integration of theory, techniques, and tools for
specifying, designing, implementing, assessing, validating, operating,
and maintaining computer systems that are dependable in the broad sense.
Of particular, but not exclusive, interest are presentations that address
combinations of dependability attributes, e.g., safety and security,
through studies of either a theoretical or an applied nature.
Submitting a Paper: Five copies (in English) of original work should be
submitted by August 13, 1990, to the Program Chair:
John F. Meyer
EECS Department
2114B EECS Bldg.
The University of Michigan
Ann Arbor, MI 48109-2122, USA
Tel: +(1) 313 763 0037
Fax: +(1) 313 763 4617
E-mail: jfm@eecs.umich.edu
Papers should be limited to 6000 words, full page figures being counted
as 300 words. Each paper should include a short abstract and a list of
keywords indicating subject classification. Papers will be refereed and the
final choice will be made by the Program Committee. Notification of
acceptance will be sent by November 25, 1990, and camera-ready copy will be
due on January 14, 1991. A digest of papers will be available at the
Conference, and hardbound proceedings will be published after the Conference
as a volume of the Springer-Verlag series on Dependable Computing and
Fault-Tolerant Systems.
Important Dates:
Submission deadline: August 13, 1990
Acceptance notification: November 25, 1990
Camera-ready copy due: January 14, 1991
General Chair
R.D. Schlichting
The University of Arizona, USA
Vice-General Chair
J.J. Quisquater
Philips Research, Belgium
Local Arrangements Chair
W.H. Sanders
The University of Arizona, USA
Program Committee
J. Abraham, USA
A. Costes, France
M.C. Gaudel, France
V. Gligor, USA
J. Goldberg, USA
D. Gollmann, FRG
G. Hagelin, Sweden
H. Ihara, Japan
H. Kopetz, Austria
J. Lala, USA
C. Landwehr, USA
G. Le Lann, France
J. McDermid, UK
M. Morganti, Italy
J.M. Rata, France
D. Rennels, USA
J. Rushby, USA
E. Schmitter, FRG
S. Shrivastava, UK
D. Siewiorek, USA
L. Simoncini, Italy
R. Turn, USA
U. Voges, FRG
Ex Officio
J.C. Laprie, WG 10.4 Chair