OpenAlex
A Temporal Logic for Asynchronous Hyperproperties
Work
Year: 2021
Type: book-chapter
Abstract: Hyperproperties are properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a trace property defines... more
Source: Lecture notes in computer science
Authors Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Institutions Helmholtz Center for Information Security, Michigan State University, IMDEA Software
Cites: 24
Cited by: 33
Related to: 10
FWCI: 10.34
Citation percentile (by year/subfield): 92.81
Topic: Security and Verification in Computing
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $5,392