close
1.

図書
図書
1. Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.)
出版情報: Berlin : Springer, c2004  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3219
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument / J.M. Armstrong ; S.E. Paynter
Using Fuzzy Self-Organising Maps for Safety Critical Systems / Z. Kurd ; T.P. Kelly
Using Formal Methods in a Retrospective Safety Case / L.-H. Eriksson
Reliability
A Highly Fault Detectable Cache Architecture for Dependable Computing / H.R. Zarandi ; S.G. Miremadi
An Empirical Exploration of the Difficulty Function / J.G.W. Bentley ; P.G. Bishop ; M. van der Meulen
Towards the Integration of Fault, Resource, and Power Management / T. Saridakis
Human Factors
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems / M. Cebulla
Analysing Mode Confusion: An Approach Using FDR2 / B. Buth
Handling Safety Critical Requirements in System Engineering Using the B Formal Method / D. Essame
Transportation
A Hybrid Testing Methodology for Railway Control Systems / G. De Nicola ; P. di Tommaso ; R. Esposito ; F. Flammini ; A. Orazzo
Actuator Based Hazard Analysis for Safety Critical Systems / P. Johannessen ; F. Torner ; J. Torin
Performability Measures of the Public Mobile Network of a Tele Control System / E. Ciancamerla ; M. Minichino
Software Development
PLC-Based Safety Critical Software Development for Nuclear Power Plants / J. Yoo ; S. Cha ; H.S. Son ; C.H. Kim ; J.-S. Lee
Compositional Hazard Analysis of UML Component and Deployment Models / H. Giese ; M. Tichy ; D. Schilling
Automatic Test Data Generation from Embedded C Code / E. Dillon ; C. Meudec
Fault Tree Analysis
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems / B. Kaiser ; C. Gramlich
Safety Requirements and Fault Trees Using Retrenchment / R. Banach ; R. Cross
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics / D. Rehage ; U.B. Carl ; M. Merkel ; A. Vahl
Automotive Telematics - Road Safety Versus IT Security? / R.G. Herrtwich
Formal Methods and Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture / H. Pfeifer ; F.W. von Henke
Refinement of Fault Tolerant Control Systems in B / L. Laibinis ; E. Troubitsyna
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems / M. Vollmer
Security and Quality of Service
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth / A. Aldini ; M. Bernardo
Dependability Benchmarking of Web-Servers / J. Duraes ; M. Vieira ; H. Madeira
Hazard and Risk Analysis
An Approach for Model-Based Risk Assessment / B.A. Gran ; R. Fredriksen ; A.P.-J. Thunem
How Explicit Are the Barriers to Failure in Safety Arguments? / S.P. Smith ; M.D. Harrison ; B.A. Schupp
Author Index
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
2.

図書
図書
2. Dependable computing EDCC-5 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings
Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xvi, 472 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3463
所蔵情報: loading…
3.

図書
図書
3. Total Systems Reliability Symposium : December 12-14, 1983, National Bureau of Standards, Gaithersburg, MD
IEEE Computer Society [and] the Institute of Electrical and Electronics Engineers
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  iv, 141 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Dependable computing--EDCC-3 : third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedings
Jan Hlavička, Erik Maehle, András Pataricza (eds.)
出版情報: Berlin : Springer, c1999  xviii, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1667
所蔵情報: loading…
5.

図書
図書
5. COMPASS '97 : are we making progress towards computer assurance? : June 16-19, 1997, National Institute of Standards and Technology, Gaithersburg, Maryland (: soft. ; : case.)
COMPASS sponsors, IEEE National Capital Area Council, IEEE Aerospace and Electronics Systems Society ; conference sponsors, Arca Systems, Inc. ... [et al.]
出版情報: Piscataway, NJ : IEEE Service Center, c1997  158 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings
Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (eds.)
出版情報: Berlin : Springer, c1996  xvi, 440 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1150
所蔵情報: loading…
7.

図書
図書
7. COMPASS '95 : proceedings of the Tenth Annual Conference on Computer Assurance, June 25-29, 1995, National Institute of Standards and Technology, Gaithersburg, Maryland (: soft. ; : case. ; : micro.)
COMPASS sponsors, IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council
出版情報: Piscataway, N.J. : IEEE Service Center, c1995  ix, 285 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. COMPASS '96 : proceedings of the Eleventh Annual Conference on Computer Assurance, June 17-21, 1996, National Institute of Standards and Technology, Gaithersburg, Maryland (: soft. ; : case.)
COMPASS sponsors, IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council ; conference sponsors, Arca Systems, Inc. ... [et al.]
出版情報: Piscataway, NJ : IEEE Service Center, c1996  v, 264 p. ; 28 cm
所蔵情報: loading…
9.

図書
図書
9. COMPASS '91 : proceedings of the Sixth Annual Conference on Computer Assurance, June 24-June 27, 1991, National Institute of Standards and Technology, Gaithersburg, Maryland : systems integrity, software safety, and process security (: soft. ; : case. ; : micro.)
United States Department of Commerce, National Institute of Standards and Technology, IEEE National Capital Area Council, IEEE Aerospace Engineering Systems Facility
出版情報: Piscataway, N.J. : IEEE Service Center, c1991  vi, 190 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Systems integrity, software safety, and process security : COMPASS '90 : proceedings of the Fifth Annual Conference on Computer Assurance, June 25-June 28, 1990, National Institute of Standards and Technology, Gaithersburg, Maryland
conference sponsors, Applied Ordnance Technology, Inc. ... [et al.]
出版情報: [Washington, D.C.] : IEEE Washington Section, c1990  192 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼