Timed Non-interference Under Partial Observability and Bounded Memory.

Sun, 01 Jan 2023 00:00:00 +0100

Anthony Spriet, Didier Lime, Olivier H. Roux :
Timed Non-interference Under Partial Observability and Bounded Memory. FORMATS 2023: 122-137