área de pesquisa An Algebraic Framework for Quantitative Information Flow Formal approaches to information hiding: an analysis of interactive systems, statistical disclosure control, and refinement of specification Mário Sérgio Ferreira Alvim Júnior
