First Specification of APIs and Protocols for the MAFTIA Middleware

This document describes the complete specification of the APIs and Protocols for the MAFTIA Middleware. The architecture of the middleware subsystem has been described in a previous document, where the several modules and services were introduced: Activity Services; Communication Services; Network Abstraction; Trusted and Untrusted Components. The purpose of the present document is to make concrete the functionality of the middleware components, by defining their application programming interfaces, and describing the protocols implementing the above-mentioned functionality.

[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 .