… , we explore definitions of noninterference for reactive programs and identify two of …
noninterference for a simple sequential language, the other to termination-sensitive noninterference. …

… for reactive non-interference. In a later paper, Bohannon et al. [2] develop Featherweight
Firefox, an extensive formalization of a web browser as a reactive … for reactive non-interference, …

… We study the security property of noninterference for a class of synchronous programs
called reactive programs. We consider a core reactive language, obtained by extending the …

… A first contribution of this paper is the development of an enforcement technique for
reactive non-interference based on secure multi-execution [7]. We prove two major results: …

… of noninterference in a core synchronous reactive language that we name \(CRL\). In the
synchronous reactive … for the study of noninterference in a synchronous reactive language. The …

… We define the non-interference notion of ID-security for reactive programs [9, 11] as follows.
… In order to guarantee progress, we consider a stronger notion of non-interference for reactive …

… non-interference debate thus reflects the conflicting orientations that underlie the worldview
of contemporary China, and the non-interference … to sovereignty and non-interference, which …

… Classical approaches are based on non-interference models which depend ultimately on …
We present a model in which the notion of non-interference is approximated in the sense that it …

… The column NI of Table II means the security of program with respect to our definition of
noninterference of reactive program. /means secure and × means insecure. 3 7,3 8 are not ID-…

… probabilistic non-interference. Our definitions are very general in several ways: They are
designed for reactive scenarios. We do not only consider perfect non-interference as in Gray’s …