Abstract | ||
---|---|---|
We propose a novel method for the verification of information flow security in component-based systems. The method is (a) modular w.r.t. services and components, i.e., overall security is proved to follow from the security of the individual services provided by the components, and (b) modular w.r.t. attackers, i.e., verified security properties can be re-used to demonstrate security w.r.t. different kinds of attacks. |
Year | Venue | Field |
---|---|---|
2017 | SEFM | Information flow (information theory),Functional verification,Systems engineering,Computer science,Intelligent verification,Verification,Security properties,Modular design,Embedded system |
DocType | Citations | PageRank |
Conference | 2 | 0.37 |
References | Authors | |
20 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Simon Greiner | 1 | 6 | 1.11 |
Martin Mohr | 2 | 2 | 0.37 |
Bernhard Beckert | 3 | 862 | 86.50 |