Algorithms for Monitoring Hyperproperties
Algorithms for Monitoring Hyperproperties
复制标题
监控超属性的算法
DOI：
10.1007/978-3-030-32079-9_5
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Christopher Hahn
中科院分区：
文献类型：
--
作者：
Christopher Hahn
超属性将多个计算轨迹相互关联，从而对监控算法提出了严峻的挑战。例如，观察决定论是一种超属性，它声明私有数据不应该影响系统的可观察行为。标准的痕量监测技术不适用于此类财产。在本教程中，我们总结了从逻辑规范监控超属性的最新算法进展。我们将目前的方法分为两类：组合方法和基于约束的方法。我们总结了当前的优化技术，以保持尽可能低的执行跟踪存储和算法的工作量，并报告在实验上运行的组合以及基于约束的监控算法。
Hyperproperties relate multiple computation traces to each other and thus pose a serious challenge to monitoring algorithms. Observational determinism, for example, is a hyperproperty which states that private data should not influence the observable behavior of a system. Standard trace monitoring techniques are not applicable to such properties. In this tutorial, we summarize recent algorithmic advances in monitoring hyperproperties from logical specifications. We classify current approaches into two classes: combinatorial approaches and constraint-based approaches. We summarize current optimization techniques for keeping the execution trace storage and algorithmic workload as low as possible and also report on experiments run on the combinatorial as well as the constraint-based monitoring algorithms.
登录
查看更多内容
DOI：
--
发表时间：
2009
期刊：
IEEE Computer Security Foundations Symposium
影响因子：
--
作者：
Aslan Askarov;A. Sabelfeld
通讯作者：
A. Sabelfeld
使用迹线证明无干扰和功能正确性
DOI：
10.3233/jcs-1992-1103
发表时间：
1992
期刊：
J. Comput. Secur.
影响因子：
--
作者：
J. McLean
通讯作者：
J. McLean
HyperLTL 的运行时验证
DOI：
10.1007/978-3-319-46982-9_4
发表时间：
2016
期刊：
J. Comput. Secur.
影响因子：
--
作者：
Borzoo Bonakdarpour;B. Finkbeiner
通讯作者：
B. Finkbeiner
DOI：
10.1007/978-3-642-28166-2_6
发表时间：
2012-02
期刊：
--
影响因子：
--
作者：
Máté Kovács;H. Seidl
通讯作者：
Máté Kovács;H. Seidl
DOI：
10.1109/csf.2014.28
发表时间：
2014
期刊：
2014 IEEE 27th Computer Security Foundations Symposium
影响因子：
--
作者：
M. Vanhoef;Willem De Groef;Dominique Devriese;Frank Piessens;Tamara Rezk
通讯作者：
Tamara Rezk