Probabilistic Hyperproperties with Nondeterminism-Reference-Cited by-同舟云学术

Probabilistic Hyperproperties with Nondeterminism

Published:2020 Issue: Volume: Page:518-534
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Ábrahám Erika,Bartocci Ezio,Bonakdarpour Borzoo,Dobe Oyendrila

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-59152-6_29

Reference17 articles.

1. Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157–1210 (2010)

2. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21, 181–185 (1985)

3. Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, pp. 11–20 (1982)

4. Zdancewic, S., Myers, A.C.: Observational determinism for concurrent program security. In: Proceedings of CSFW 2003, p. 29 (2003)

5. Wang, Y., Zarei, M., Bonakdarpour, B., Pajic, M.: Statistical verification of hyperproperties for cyber-physical systems. ACM Trans. Embedded Comput. Syst. (TECS) 18(5s), 1–23 (2019)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimized Smart Sampling;Bridging the Gap Between AI and Reality;2023-12-14

2. Stochastic Games with Synchronization Objectives;Journal of the ACM;2023-05-23

3. Introducing Asynchronicity to Probabilistic Hyperproperties;Quantitative Evaluation of Systems;2023

4. Deductive Controller Synthesis for Probabilistic Hyperproperties;Quantitative Evaluation of Systems;2023

5. Lightweight Verification of Hyperproperties;Automated Technology for Verification and Analysis;2023