Hyperproperties

Clarkson, M. R., & Schneider, F. B. (2010). Hyperproperties. Journal of Computer Security, 18(6), 1157-1210.

Type

Journal article

Intellectual base

Primary research

Year

2010

DOI

10.3233/jcs-2009-0393

Link

https://doi.org/10.3233/JCS-2009-0393

Cited from

law_governance

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Confidentiality
  • The log is a complete record of the wrong thing.

    This sourceEstablishes that information-flow conditions relate sets of executions rather than single ones, so no individual trace or access log can decide whether they were violated.

Domain-specific

• Hyperproperty
  • so satisfaction asks whether \(S\in H\).

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://www.cs.cornell.edu/fbs/publications/1813-9480.pdf ×1

Registry ID ref:c19b9f0a0e04 · see in the full table