Dimiter Milushev, Dave Clarke. Coinductive Unwinding of Security-Relevant Hyperproperties. In Audun Jøsang, Bengt Carlsson, editors, Secure IT Systems - 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 - November 2, 2012. Proceedings. Volume 7617 of Lecture Notes in Computer Science, pages 121-136, Springer, 2012. [doi]
Abstract is missing.