Skip to content

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
Volume
18
Issue
6
Pages
1157-1210
DOI
10.3233/jcs-2009-0393
DOI registrant
SAGE Publications
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.

      Supported in partVerified against the work's full text

      Clarkson and Schneider show noninterference cannot be judged from any single trace, which supports the point behind the log metaphor; logs are not discussed.

      “It is not a property, because whether some given trace is allowed depends on whether another trace (obtained by deleting command executions by high users) is allowed.”

      From the work's full text.

      Read by an automated reader; not a human review. How support was checked

Domain-specific

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Read against the text for 1 of 2 citations: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

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

Registry ID ref:c19b9f0a0e04 · see in the full table