利用电路监控超性质
计算机科学中的逻辑
2022-05-11 v2
摘要
本文提出了一种在 Hyper-LTL 精神下带有对迹集合递归的 Hennessy-Milner 逻辑安全片段的扩展。随后引入了一种新颖的监控设置，该设置采用类电路结构来组合来自正则监控器的判定。本研究的主要贡献在于监控器及其语义本身，以及从该逻辑中的公式出发的监控器合成过程，该过程能生成此类在有限个无限迹集合上满足可靠性与违例完备性的“类电路监控器”。
引用
@article{arxiv.2202.11570,
title = {Monitoring hyperproperties with circuits},
author = {Luca Aceto and Antonios Achilleos and Elli Anastasiadi and Adrian Francalanza},
journal= {arXiv preprint arXiv:2202.11570},
year = {2022}
}
备注
10 pages, 1 tikz figure, 1 table of semantics, accepted for FORTE 2022