Abstract | ||
---|---|---|
Information flow security often involves reasoning about multiple execution traces. This subtlety stems from the fact that an intruder may gain knowledge about the system through observing and comparing several executions. The monitoring of such properties of sets of traces, also known as hyperproperties, is a challenge for runtime verification, because most monitoring techniques are limited to the analysis of a single trace. In this tutorial, we discuss this challenge with respect to HyperLTL, a temporal logic for the specification of hyperproperties. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-46982-9_4 | RUNTIME VERIFICATION, (RV 2016) |
Field | DocType | Volume |
Information flow (information theory),Programming language,Computer science,Intelligent verification,Theoretical computer science,Runtime verification,Temporal logic,High-level verification | Conference | 10012 |
ISSN | Citations | PageRank |
0302-9743 | 4 | 0.38 |
References | Authors | |
13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Borzoo Bonakdarpour | 1 | 490 | 45.02 |
Bernd Finkbeiner | 2 | 666 | 69.95 |