Probabilistic Information Flow Security
A formal model for description of probabilistic timing attacks is presented and studied. It is based on a probabilistic timed process on observations (mappings which make visible only a part of system behavior) and on an information flow. The resulting, security properties are Studied and compared with other security concepts.
information flow security timing attacks probabilistic timed process algebras opacity