Hyperproperties
Michael R. Clarkson, Fred B. Schneider[doi] [Google Scholar] [DBLP] [Citeseer]
Journal of Computer Security
18(6)
IOS Press
Pages 1157-1210
2010
Topic(s): security
Note(s): information flow, hyperproperty
IOS Press
Pages 1157-1210
2010
Topic(s): security
Note(s): information flow, hyperproperty