43 documents found, page 1 of 5
Resilient Computing Courseware
Bernardeschi, Cinzia; Bloomfield, Robin; Bondavalli, Andrea; Cachin, Christian; Correia, Miguel; Dacier, Marc; Di Giandomenico, FelicitaThis Deliverable describes the courseware in support to teaching Resilient Computing in a Curriculum for an MSc track following the scheme of the Bologna process. The development of the supporting material for such a curriculum has required a rather intensive activity that involved not only the partners in ReSIST but also a much larger worldwide community with the aim of identifying available updated support ma...
Architecture, Services and Protocols for CRUTIAL
Abou El Kalan, Anas; Baina, Amine; Beitollahi, Hakem; Bessani, Alysson Neves; Bondavalli, Andrea; Correia, Miguel; Daidone, Alessandro; Dantas, WagnerThis document describes the complete specification of the architecture, services and protocols of the project CRUTIAL. The CRUTIAL Architecture intends to reply to a grand challenge of computer science and control engineering: how to achieve resilience of critical information infrastructures (CII), in particular in the electrical sector. In general lines, the document starts by presenting the main architectural...
Resilient Computing Curriculum
Bernardeschi, Cinzia; Bloomfield, Robin; Bondavalli, Andrea; Cachin, Christian; Correia, Miguel; Dacier, Marc; Di Giandomenico, FelicitaThis Deliverable presents the MSc Curriculum in Resilient Computing suggested by ReSIST. It includes the description of the syllabi for all the courses in the two semesters of the first year, those for the common courses in semester 3 in the second year together with an exemplification of possible application tracks with the related courses. This MSc curriculum has been updated and completed taking advantage of...
Experimental Validation of Architectural Solutions
Donatelli, Susanna; Alata, Eric; Antunes, João; Kaâniche, Mohamed; Neves, Nuno Ferreira; Veríssimo, PauloThis is a interim report on the experimental validation of architectural solutions performed in WP5 of project CRUTIAL. The two main contributions are the description of an attack injection tool for testing the architectural solutions and the description of a monitor and data collector that collects and analyses information about the behavior of the software after it has been attacked
Preliminary Specification of Services and Protocols
Neves, Nuno Ferreira; Veríssimo, PauloThis document describes the preliminary specification of services and protocols for the Crutial Architecture. The Crutial Architecture definition, first addressed in Crutial Project Technical Report D4 (January 2007), intends to reply to a grand challenge of computer science and control engineering: how to achieve resilience of critical information infrastructures, in particular in the electrical sector. The de...
Resilient Intrusion Tolerance through Proactive and Reactive Recovery
Sousa, Paulo; Bessani, Alysson Neves; Correia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloPrevious works have studied how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as recoveries are faster than an upper-bound on fault production assumed at system deployment time. In this work, we propose a complementary approach that combines proactive recovery with services that allow correct replicas to react and recover replicas th...
Intrusion-Tolerant Protection for Critical Infrastructures
Bessani, Alysson Neves; Sousa, Paulo; Correia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloToday's critical infrastructures like the Power Grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other interconnected computer system, but their failure has a high socio-economic impact. The paper describes a new construct for the protection of these infrastructures, based on distributed algorithms and mechanisms implemented between a s...
A framework for dependable adaptation in probabilistic environments
Casimiro, António; Lolinni, Paolo; Dixit, Mónica; Bondavalli, Andrea; Veríssimo, PauloDistributed applications executing in probabilistic environments, like the Internet, often need to make timing assumptions, for instance about the maximum message delay or the round-trip delay. In the case of adaptive systems these bounds should be computed at run-time, using probabilistic or other more or less ad hoc approaches, typically with the objective of improving the application performance. From a depe...
Resilient Computing Curriculum Draft -- ReSIST NoE Deliverable D16
Simoncini, L.; Laprie, J.-C.; Kanoun, K.; Fabre, J. C.; Waeselynck, H.; Majzik, I.; Pataricza, A.; Bloomfield, R.; Strigini, L.; Suri, N.This Deliverable presents the first version of ReSIST's Curriculum in Resilient Computing, limited to the description of the syllabi for the first year (Semesters 1 and 2) and indicates the line and title for the curriculum in the second year (semesters 3 and 4) and propose it to the general discussion for improvements. The curriculum will be updated and completed in successive versions that will take advantage...
On the Resilience of Intrusion-Tolerant Distributed Systems
Neves, Nuno Ferreira; Veríssimo, Paulo; Sousa, Paulo; Lopes, AntóniaThe paper starts by introducing a new dimension along which distributed systems resilience may be evaluated - exhaustion-safety. A node-exhaustion-safe intrusion-tolerant distributed system is a system that assuredly does not suffer more than the assumed number of node failures (e.g., crash, Byzantine). We show that it is not possible to build this kind of systems under the asynchronous model. This result follo...