1 paper · 1 filter
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger +2
Information-flow policies prescribe which information is available to a given user or subsystem. We study the problem of specifying such properties in reactive systems, which may r…