First Specification of APIs and Protocols for the MAFTIA Middleware
暂无分享,去创建一个
Miguel Correia | Lau Cheuk Lung | Paulo Veríssimo | Robert J. Stroud | Michael Waidner | Brian Randell | Luís Rodrigues | Nuno Neves | Hugo Miranda | Christian Cachin | Jonathan A. Poritz | Antónia Costa | J. Armstrong | I. S. Welch | C. Cachin | P. Veríssimo | M. Waidner | N. Neves | B. Randell | I. Welch | J. Poritz | R. Stroud | L. Rodrigues | J. Armstrong | M. Correia | Antónia Costa | Hugo M. Miranda | L. Lung | M. Waidner | Luís E. T. Rodrigues
[1] Jon Postel,et al. User Datagram Protocol , 1980, RFC.
[2] H. Zimmermann,et al. OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.
[3] Jon Postel,et al. Internet Protocol , 1981, RFC.
[4] Jon Postel,et al. Internet Control Message Protocol , 1981, RFC.
[5] Jon Postel,et al. Transmission Control Protocol , 1981, RFC.
[6] Michael O. Rabin,et al. Randomized byzantine generals , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
[7] Gabriel Bracha,et al. An asynchronous [(n - 1)/3]-resilient consensus protocol , 1984, PODC '84.
[8] Sam Toueg,et al. Asynchronous consensus and broadcast protocols , 1985, JACM.
[9] Nancy A. Lynch,et al. Impossibility of distributed consensus with one faulty process , 1985, JACM.
[10] Sam Toueg,et al. Optimal clock synchronization , 1985, PODC '85.
[11] Bruce G. Lindsay,et al. Transaction management in the R* distributed database management system , 1986, TODS.
[12] Kenneth P. Birman,et al. Reliable communication in the presence of failures , 1987, TOCS.
[13] Kenneth P. Birman,et al. Exploiting virtual synchrony in distributed systems , 1987, SOSP '87.
[14] Ralph Howard,et al. Data encryption standard , 1987 .
[15] George Coulouris,et al. Distributed systems - concepts and design , 1988 .
[16] Nancy A. Lynch,et al. Consensus in the presence of partial synchrony , 1988, JACM.
[17] Paulo Veríssimo,et al. AMp: a highly parallel atomic multicast protocol , 1989, SIGCOMM 1989.
[18] Jeffrey D. Case,et al. Simple Network Management Protocol (SNMP) , 1989, RFC.
[19] W. Richard Stevens,et al. Unix network programming , 1990, CCRV.
[20] Fred B. Schneider,et al. Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.
[21] Paulo Veríssimo,et al. A posteriori agreement for fault-tolerant clock synchronization on broadcast networks , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.
[22] Sam Toueg,et al. Fault-tolerant broadcasts and related problems , 1993 .
[23] Donald E. Eastlake,et al. Randomness Recommendations for Security , 1994, RFC.
[24] Rachid Guerraoui,et al. Transaction Model vs. Virtual Synchrony Model: Bridging the Gap , 1994, Dagstuhl Seminar on Distributed Systems.
[25] Sam Toueg,et al. A Modular Approach to Fault-Tolerant Broadcasts and Related Problems , 1994 .
[26] Michael K. Reiter,et al. How to securely replicate services , 1992, TOPL.
[27] Randall J. Atkinson,et al. IP Encapsulating Security Payload (ESP) , 1995, RFC.
[28] Cecília M. F. Rubira,et al. Fault tolerance in concurrent object-oriented software through coordinated error recovery , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[29] Sam Toueg,et al. The weakest failure detector for solving consensus , 1996, JACM.
[30] Bernadette Charron-Bost,et al. On the impossibility of group membership , 1996, PODC '96.
[31] Alfred Menezes,et al. Handbook of Applied Cryptography , 2018 .
[32] Michael K. Reiter. A Secure Group Membership Protocol , 1996, IEEE Trans. Software Eng..
[33] Katherine Guo,et al. A transparent light-weight group service , 1996, Proceedings 15th Symposium on Reliable Distributed Systems.
[34] Sam Toueg,et al. Unreliable failure detectors for reliable distributed systems , 1996, JACM.
[35] André Schiper,et al. From group communication to transactions in distributed systems , 1996, CACM.
[36] Keith McCloghrie,et al. Management Information Base for Version 2 of the Simple Network Management Protocol (SNMPv2) , 1996, RFC.
[37] Keith McCloghrie,et al. Introduction to Community-based SNMPv2 , 1996, RFC.
[38] Brian Randell,et al. Coordinated Atomic Actions: from Concept to Implementation , 1997 .
[39] Ran Canetti,et al. Proactive Security: Long-term protection against break-ins , 1997 .
[40] Louise E. Moser,et al. Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector , 1997, OPODIS.
[41] Hugo Krawczyk,et al. HMAC: Keyed-Hashing for Message Authentication , 1997, RFC.
[42] Christian F. Tschudin,et al. Protecting Mobile Agents Against Malicious Hosts , 1998, Mobile Agents and Security.
[43] Robert Monsour,et al. IP Payload Compression Protocol (IPComp) , 1998, RFC.
[44] Fritz Hohl,et al. Time Limited Blackbox Security: Protecting Mobile Agents From Malicious Hosts , 1998, Mobile Agents and Security.
[45] Uri Blumenthal,et al. User-based Security Model (USM) for version 3 of the Simple Network Management Protocol (SNMPv3) , 1998, RFC.
[46] Paulo Veríssimo,et al. Timing Failure Detection with a Timely Computing Base , 1999 .
[47] Luís E. T. Rodrigues,et al. Flexible communication support for CSCW applications , 1999, 6th International Symposium on String Processing and Information Retrieval. 5th International Workshop on Groupware (Cat. No.PR00268).
[48] Santosh K. Shrivastava,et al. Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects , 1999, Advances in Distributed Systems.
[49] Miguel Oom Temudo de Castro,et al. Practical Byzantine fault tolerance , 1999, OSDI '99.
[50] William Stallings,et al. SNMP, SNMPv2, SNMPv3, and RMON 1 and 2 , 1999 .
[51] Marc Dacier,et al. Reference Model and Use Cases , 2000 .
[52] P. Verissimo,et al. How to build a timely computing base using real-time Linux , 2000, 2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531).
[53] Bert Wijnen,et al. Agent Extensibility (AgentX) Protocol Version 1 , 1998, RFC.
[54] Ricardo Jiménez-Peris,et al. An Integrated Approach to Transactions and Group Communication , 2000 .
[55] Gustavo Alonso,et al. Understanding replication in databases and distributed systems , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.
[56] 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.
[57] 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.
[58] Miguel Correia,et al. Service and Protocol Architecture for the MAFTIA Middleware , 2001 .
[59] Hugo Miranda,et al. Plataforma de suporte ao desenvolvimento e composição de malhas de protocolos , 2001 .
[60] Joy Boy Joy Eu. Specification of Dependable Trusted Third Parties , 2001 .
[61] Victor Shoup,et al. Secure and efficient asynchronous broadcast protocols : (Extended abstract) , 2001, CRYPTO 2001.
[62] Vincent Nicomette,et al. Specification of Authorisation Services , 2001 .
[63] Miguel Correia,et al. The Design of a COTS Real-Time Distributed Security Kernel (Extended Version) , 2001 .
[64] Miguel Correia,et al. Efficient Byzantine-resilient reliable multicast on a hybrid failure model , 2002, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings..
[65] Miguel Correia,et al. The Design of a COTSReal-Time Distributed Security Kernel , 2002, EDCC.
[66] Jörg Kienzle. Open Multithreaded Transactions , 2003, Springer Netherlands.
[67] Peng Liu,et al. The design of an adaptive intrusion tolerant database system , 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
[68] Jörg Kienzle,et al. Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming , 2003 .