Quantifying Security for Timed Process Algebras
A quantification of process's security by quantification of an amount of information flow is defined and studied in the framework of timed process algebras. The resulting quantified security is compared with other (qualitative) security notions. Unprecise and limited observations are defined and discussed.
security information flow unprecise and limited observations information theory opacity surprisal uncertainty