Searching for "Hyperproperties." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Detective Information Flow Analysis for Business Processes
by Claus Wonnemann, Rafael Accorsi
…-interference, denote hyperproperties for which mechanisms for runtime enforcement do not exist [CS08], nor…
Add To MetaCart

A Formal Model for MILS Integration
by John Rushby — 2008
… of these difficulties can be traced to the fact that noninterference is not a property: it is a hyperproperty [4…
Cited by 1 (0 self) – Add To MetaCart

Hyper Tableaux
by Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä — 1996
…. From resolution we incorporate the following: -- The "hyper-property", namely to resolve away all…
Cited by 60 (21 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB