Statistical Model Checking for Hyperproperties

Hyperproperties have shown to be a powerful tool for expressing and reasoning about information-flow security policies. In this paper, we investigate the problem of statistical model checking (SMC) for hyperproperties. Unlike exhaustive model checking, SMC works based on drawing samples from the sys...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2020-08
Hauptverfasser:	Wang, Yu, Nalluri, Siddhartha, Bonakdarpour, Borzoo, Pajic, Miroslav
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Causation Confidence intervals Cryptography Cybersecurity Information flow Markov chains Operators Specifications Statistical analysis Statistical models Temporal logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!