By H. A. M. Luiijf, Kim Besseling (auth.), Sandro Bologna, Bernhard Hämmerli, Dimitris Gritzalis, Stephen Wolthusen (eds.)

This e-book constitutes revised chosen papers from the sixth overseas Workshop on severe details Infrastructure safety, CRITIS 2011, held in Lucerne, Switzerland, in September 2011. The sixteen complete papers and six brief papers offered during this quantity have been conscientiously reviewed and chosen from 38 submissions. They care for all components of severe infrastructure security research.

Show description

Read Online or Download Critical Information Infrastructure Security: 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers PDF

Best international books

Mobile Information Systems II: IFIP International Working Conference on Mobile Information Systems, MOBIS 2005, Leeds, UK, December 6-7, 2005 (IFIP International Federation for Information Processing)

Cellular details platforms II offers a set of study at the making plans, research, layout, building, amendment, implementation, usage, overview, and administration of cellular info platforms. The articles concentrate on the consequences of this learn on the earth of trade, and handle technical concerns and constraints on cellular details platforms functionalities and layout.

International Assessment of Research and Development in Simulation-Based Engineering and Science

Simulation-Based Engineering and technological know-how (Sbe&S) cuts throughout disciplines, exhibiting great promise in components from typhoon prediction and weather modeling to figuring out the mind and the habit of diverse different advanced platforms. during this groundbreaking quantity, 9 uncommon leaders verify the most recent learn traits, because of fifty two website visits in Europe and Asia and enormous quantities of hours of professional interviews, and talk about the results in their findings for the USA executive.

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

This publication constitutes the refereed court cases of the 1st foreign convention on Interactive Theorem proving, ITP 2010, held in Edinburgh, united kingdom, in July 2010. The 33 revised complete papers awarded have been conscientiously reviewed and chosen from seventy four submissions. The papers are prepared in issues resembling counterexample new release, hybrid process verification, translations from one formalism to a different, and cooperation among instruments.

Additional info for Critical Information Infrastructure Security: 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers

Example text

A cooperation with a CI provider to get access to such data is intended. In a next step, we want to introduce an approach based on Bayesian networks to use the service risk and the presented assurance indicators as evidence variables to reason about about the service risk. This will allow taking all the evidence gathered from the system into account and enhance the accuracy of the prediction of CI service risk. Accuracy of On-line Risk in Critical Infrastructures 41 References 1. : A survey of trust in computer science and the semantic web.

To operate complex systems like CIs can be problematic and CI providers put substantial effort into keeping CIs running and reduce risks of any kind, for example the risk of failure, the risk of intrusion or the risk of incorrect operation. In this context, the idea of CI security modelling was introduced. The core of the idea is to be able to estimate the risk in CI services in real-time. The risk that is taken into account is the risk of a breach of confidentiality, the risk of a breach of integrity and the risk of a degradation of availability (CIA) of a service.

The rule [Serv-DR] asserts the transitivity of the dependency rule: if A depends on B and B depends on C, then A (indirectly) depends on C. The rule [ServDepWeak-DR] states that we can weaken the statement that B depends on A for services in X to the assertion that B simply depends on A. The rule [CoDFail-DR] shows how to construct co-dependency from failure properties: if all the entities B in the set X of entities fail simultaneously on the failure of the entity A, then the set X of entities is co-dependent on A.

Download PDF sample

Rated 4.72 of 5 – based on 25 votes