Conceptual Model and Architecture of MAFTIA
暂无分享,去创建一个
Sadie Creese | Brian Randell | Paulo Veríssimo | Peter Y. A. Ryan | Michael Waidner | Yves Deswarte | Klaus Kursawe | Andreas Wespi | Christian Cachin | André Adelsbach | David Powell | Jean-Claude Laprie | J. Riodan | W. Simmionds | Robert J. Stroud | P. Ryan | C. Cachin | K. Kursawe | D. Powell | P. Veríssimo | M. Waidner | A. Wespi | B. Randell | Y. Deswarte | J. Laprie | André Adelsbach | S. Creese | J. Riodan | W. Simmionds | R. Stroud | M. Waidner
[1] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[2] Algirdas Avizienis,et al. Design of fault-tolerant computers , 1967, AFIPS '67 (Fall).
[3] William C. Carter,et al. Design of dynamically checked computers , 1968, IFIP Congress.
[4] W. C. Carter,et al. Reliability modeling techniques for self-repairing computer systems , 1969, ACM '69.
[5] Butler W. Lampson,et al. A note on the confinement problem , 1973, CACM.
[6] S. Yau,et al. Design of self-checking software , 1975, Reliable Software.
[7] Brian Randell,et al. System structure for software fault tolerance , 1975, IEEE Transactions on Software Engineering.
[8] D. Elliott Bell,et al. Secure Computer System: Unified Exposition and Multics Interpretation , 1976 .
[9] Software reliability: The role of programmed exception handling , 1976 .
[10] B. P. Ziegler,et al. Theory of Modeling and Simulation , 1976 .
[11] Ellis S. Cohen. Information transmission in computational systems , 1977, SOSP '77.
[12] John F. Wakerly,et al. Error detecting codes, self-checking circuits and applications , 1978 .
[13] A. Avizienis,et al. Fault-tolerance: The survival attribute of digital systems , 1978, Proceedings of the IEEE.
[14] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[15] Adi Shamir,et al. How to share a secret , 1979, CACM.
[16] Leslie Lamport,et al. Reaching Agreement in the Presence of Faults , 1980, JACM.
[17] Richard J. Feiertag. A Technique for Proving Specifications are Multilevel Secure , 1980 .
[18] James P. Black,et al. Redundancy in Data Structures: Improving Software Fault Tolerance , 1980, IEEE Transactions on Software Engineering.
[19] M. Y. Hsiao,et al. A System Solution to the Memory Soft Error Problem , 1980, IBM J. Res. Dev..
[20] Danny Dolev,et al. On the security of public key protocols , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
[21] J. Meseguer,et al. Security Policies and Security Models , 1982, 1982 IEEE Symposium on Security and Privacy.
[22] Dorothy E. Denning,et al. Cryptography and Data Security , 1982 .
[23] Flaviu Cristian,et al. Exception Handling and Software Fault Tolerance , 1982, IEEE Transactions on Computers.
[24] Jacob A. Abraham,et al. LBW COST SCEEMES FOR FAULT TOLEEANCE IN MATRIX OPERATIONS WITH PROCESSOR ARRAYS , 1982 .
[25] Donald A. Norman,et al. Design rules based on analyses of human error , 1983, CACM.
[26] Andreas Reuter,et al. Principles of transaction-oriented database recovery , 1983, CSUR.
[27] Mike St. Johns. Authentication service , 1984, RFC.
[28] Sam Toueg,et al. Asynchronous consensus and broadcast protocols , 1985, JACM.
[29] David Powell,et al. A fault- and intrusion- tolerant file system , 1985 .
[30] P. M. Melliar-Smith,et al. Synchronizing clocks in the presence of faults , 1985, JACM.
[31] Bowen Alpern,et al. Defining Liveness , 1984, Inf. Process. Lett..
[32] D. K. Pradhan. Fault-tolerant multiprocessor and VLSI-based system communication architectures , 1986 .
[33] D. Wilson. The STRATUS computer system , 1986 .
[34] Yves Deswarte,et al. Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering , 1986, 1986 IEEE Symposium on Security and Privacy.
[35] Jim Gray,et al. Why Do Computers Stop and What Can Be Done About It? , 1986, Symposium on Reliability in Distributed Software and Database Systems.
[36] Hermann Kopetz,et al. Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.
[37] Özalp Babaoglu,et al. On the reliability of consensus-based fault-tolerant distributed computing systems , 1987, TOCS.
[38] David D. Clark,et al. A Comparison of Commercial and Military Computer Security Policies , 1987, 1987 IEEE Symposium on Security and Privacy.
[39] Algirdas Avizienis,et al. A fault tolerance approach to computer viruses , 1988, Proceedings. 1988 IEEE Symposium on Security and Privacy.
[40] Paulo Veríssimo,et al. The Delta-4 approach to dependability in open distributed computing systems , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[41] Flaviu Cristian,et al. Agreeing on who is present and who is absent in a synchronous distributed system , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[42] Michael O. Rabin,et al. Efficient dispersal of information for security, load balancing, and fault tolerance , 1989, JACM.
[43] Bernard Courtois,et al. A generalized theory of fail-safe systems , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[44] Yves Deswarte,et al. An Intrusion-Tolerant Security Server for an Open Distributed System , 1990, ESORICS.
[45] Jim Gray,et al. A census of Tandem system availability between 1985 and 1990 , 1990 .
[46] Hermann Kopetz,et al. Fault tolerance, principles and practice , 1990 .
[47] Yves Deswarte,et al. Intrusion-Tolerant Security Servers for Delta-4 , 1990 .
[48] Jean Arlat,et al. Definition and analysis of hardware- and software-fault-tolerant architectures , 1990, Computer.
[49] Fred B. Schneider,et al. Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.
[50] James W. Gray,et al. Toward a mathematical foundation for information flow security , 1991, Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy.
[51] Dhiraj K. Pradhan,et al. Consensus With Dual Failure Modes , 1991, IEEE Trans. Parallel Distributed Syst..
[52] Jan Noyes,et al. Human Error in the Cockpit , 1991 .
[53] Li Gong,et al. A security risk of depending on synchronized clocks , 1992, OPSR.
[54] Gustavus J. Simmons,et al. An Introduction to Shared Secret and/or Shared Control Schemes and Their ApplicationThis work was performed at Sandia National Laboratories and supported by the U.S. Department of Energy under contract number DEAC0476DPOO789. , 1992 .
[55] Mladen A. Vouk,et al. On operational availability of a large software-based telecommunications system , 1992, [1992] Proceedings Third International Symposium on Software Reliability Engineering.
[56] N. Lynch,et al. Atomic Transactions , 1993, Morgan Kaufmann series in data management systems.
[57] Gérard D. Guiho,et al. SACEM: A fault tolerant system for train speed control , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.
[58] Brian Randell,et al. Designing Secure and Reliable Applications using FRS: An Object-Oriented Approach , 1993 .
[59] Pascal Traverse,et al. AIRBUS A320/A330/A340 electrical flight controls - A family of fault-tolerant systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.
[60] Carl E. Landwehr,et al. A taxonomy of computer program security flaws , 1993, CSUR.
[61] Gustavus J. Simmons,et al. Contemporary Cryptology: The Science of Information Integrity , 1994 .
[62] Karl-Erwin Großpietsch,et al. Fault tolerance , 1994, IEEE Micro.
[63] Birgit Pfitzmann,et al. A General Framework for Formal Notions of "Secure" Systems , 1994 .
[64] Torleiv Kløve,et al. Error detecting codes , 1995 .
[65] S. G. Frison,et al. INTERACTIVE CONSISTENCY AND ITS IMPACT ON THE DESIGN IN TMR SYSTEMS , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..
[66] J-C. Laprie,et al. DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..
[67] Randall J. Atkinson,et al. Security Architecture for the Internet Protocol , 1995, RFC.
[68] Heinz Kantz,et al. The ELEKTRA railway signalling system: field experience with an actively replicated system with diversity , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[69] Flaviu Cristian,et al. Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement , 1995, Inf. Comput..
[70] Robert W. Horst,et al. A flexible ServerNet-based fault-tolerant architecture , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[71] Harold Joseph Highland,et al. AIN'T misbehaving—A taxonomy of anti-intrusion techniques , 1995 .
[72] Claudia Eckert. On security models , 1996, SEC.
[73] Henning Schulzrinne,et al. RTP: A Transport Protocol for Real-Time Applications , 1996, RFC.
[74] Alfred Menezes,et al. Handbook of Applied Cryptography , 2018 .
[75] Katherine Guo,et al. A transparent light-weight group service , 1996, Proceedings 15th Symposium on Reliable Distributed Systems.
[76] Sam Toueg,et al. Unreliable failure detectors for reliable distributed systems , 1996, JACM.
[77] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[78] 염흥렬,et al. [서평]「Applied Cryptography」 , 1997 .
[79] D. Richard Kuhn,et al. Sources of Failure in the Public Switched Telephone Network , 1997, Computer.
[80] Nancy R. Mead,et al. Survivable Network Systems: An Emerging Discipline , 1997 .
[81] Richard D. Regan,et al. Availability in Parallel Systems: Automatic Process Restart , 1997, IBM Syst. J..
[82] F. Schneider. Trust in Cyberspace , 1998 .
[83] Hugo Krawczyk,et al. A Security Architecture for the Internet Protocol , 1999, IBM Syst. J..
[84] Mary Ellen Zurko,et al. A user-centered, modular authorization service built on an RBAC foundation , 1999, Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344).
[85] P. Veríssimo,et al. Time, clocks and temporal order , 1999 .
[86] Marc Dacier,et al. Towards a taxonomy of intrusion-detection systems , 1999, Comput. Networks.
[87] Bill Roscoe,et al. Data independence with predicate symbols , 1999 .
[88] Ranko S. Lazic,et al. A semantic study of data independence with applications to model checking , 1999 .
[89] Paulo Veríssimo,et al. Topology-Aware Algorithms for Large-Scale Communication , 1999, Advances in Distributed Systems.
[90] S. J. Creese,et al. Verifying End-to-End Protocols using Induction with CSP/FDR , 1999, IPPS/SPDP Workshops.
[91] Dieter Gollmann,et al. Computer Security , 1979, Lecture Notes in Computer Science.
[92] Fabio Martinelli,et al. A Uniform Approach for the Definition of Security Properties , 1999, World Congress on Formal Methods.
[93] Steve H. Weingart. Physical Security Devices for Computer Subsystems: A Survey of Attacks and Defences , 2000, CHES.
[94] Paul Dischamp,et al. Power Analysis, What Is Now Possible , 2000, ASIACRYPT.
[95] Marc Dacier,et al. Reference Model and Use Cases , 2000 .
[96] Anita K. Jones. The Challenge of Building Survivable Information-Intensive Systems - Guest Editor's Introduction , 2000, Computer.
[97] Brian Randell,et al. Fundamental Concepts of Dependability , 2000 .
[98] Fred B. Schneider,et al. Enforceable security policies , 2000, TSEC.
[99] Sabrina De Capitani di Vimercati,et al. Access Control: Policies, Models, and Mechanisms , 2000, FOSAD.
[100] Carleen Maitland,et al. Trust in cyberspace , 2000 .
[101] Lee Garber,et al. Denial-of-Service Attacks Rip the Internet , 2000, Computer.
[102] Birgit Pfitzmann,et al. SEMPER - Secure Electronic Marketplace for Europe , 2000, Lecture Notes in Computer Science.
[103] Peter Y. A. Ryan,et al. Mathematical Models of Computer Security , 2000, FOSAD.
[104] Antonio Casimiro,et al. The timely computing base: Timely actions in the presence of uncertain timeliness , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
[105] Miguel Correia,et al. First Specification of APIs and Protocols for the MAFTIA Middleware , 2001 .
[106] Dominique Alessandri,et al. Towards a Taxonomy of Intrusion Detection Systems and Attacks , 2001 .
[107] Luís E. T. Rodrigues,et al. Appia, a flexible protocol kernel supporting multiple coordinated channels , 2001, Proceedings 21st International Conference on Distributed Computing Systems.
[108] S. J. Creese,et al. Data independent induction : CSP model checking or arbitary sized networks , 2001 .
[109] Yves Deswarte,et al. An Internet Authorization Scheme Using Smart-Card-Based Security Kernels , 2001, E-smart.
[110] Ross J. Anderson. Security engineering - a guide to building dependable distributed systems (2. ed.) , 2001 .
[111] Christian Cachin,et al. Distributing trust on the Internet , 2001, 2001 International Conference on Dependable Systems and Networks.
[112] Joy Boy Joy Eu. Specification of Dependable Trusted Third Parties , 2001 .
[113] Vincent Nicomette,et al. Specification of Authorisation Services , 2001 .
[114] Birgit Pfitzmann,et al. A model for asynchronous reactive systems and its application to secure message transmission , 2001, Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001.
[115] Birgit Pfitzmann,et al. Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation , 2002, FME.
[116] Ahmad-Reza Sadeghi,et al. Final Report on Verification and Assessment , 2002 .
[117] C. Cachin,et al. Full Design of Dependable Third Party Services , 2002 .
[118] Michael Backes,et al. Cryptographically sound analysis of security protocols , 2002 .
[119] Marc Dacier,et al. Design of an Intrusion-Tolerant Intrusion Detection System , 2002 .
[120] 정희영,et al. IETF에서의 빠른 핸드오프 기술 표준화 동향 , 2002 .
[121] C. Cachin. Malicious- and Accidental-Fault Tolerance for Internet Applications Specification of Dependable Trusted Third Parties , 2001 .
[122] J. van Leeuwen,et al. Information Security , 2003, Lecture Notes in Computer Science.
[123] Sadie Creese,et al. Malicious- and Accidental-Fault Tolerance for Internet Applications Specification and verification of selected intrusion tolerance properties using CSP and FDR , 2003 .
[124] Peter Y. A. Ryan,et al. Architectural Analysis of MAFTIA's Intrusion Tolerance Capabilities , 2003 .
[125] Antonio Casimiro,et al. CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems , 1997, Real-Time Systems.
[126] Victor Shoup,et al. Random Oracles in Constantinople: Practical Asynchronous Byzantine Agreement Using Cryptography , 2000, Journal of Cryptology.
[127] F. Lemmermeyer. Error-correcting Codes , 2005 .