Quantitative Information Flow Analysis in Isabelle.

Johannes Hölzl

Published in: AlgoSyn (2010)

Keyphrases

flow analysis
information flow
real time
contextual information
social networks
video sequences
mobile robot
computer systems
higher level