Name
Abstract | ||
|---|---|---|
This paper explores the possibility of using multiformalism techniques for critical infrastructure modeling and proposes a general scheme for intra and inter infrastructure models. Multiformalism approaches allow modelers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modeled. Another advantage is the possibility of reusing existing (and validated) dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1007/978-3-642-03552-4_32 | Critical Information Infrastructure Security |
Keywords | DocType | Volume |
functional dependency,abstraction layer,dependability model,dependability,security,inter infrastructure model,multiformalism technique,formal language,performa- bility,general scheme,multiformalism modeling.,critical infrastructure,critical infrastructures,multiformalism approach,multiformalism modeling,critical infrastructure modeling | Conference | 5508 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.36 |
References | Authors | |
7 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Francesco Flammini | 1 | 163 | 19.53 |
| valeria vittorini | 2 | 339 | 33.14 |
| Nicola Mazzocca | 3 | 674 | 78.37 |
| Concetta Pragliola | 4 | 42 | 5.33 |