Security and Information.- Channels.- Abstract Channels.- Information Flow, Disorder Measures and Leakage.- Operational Significance of Vulnerability Measures.- Disorder Measures.- Robustness.- Introduction to Hidden Markov Models.- HMMs as a Program Semantics.- Static Analysis.- Examples for Qualitative Security.- Upgrading the Qualitative Examples to Quantitative.- Stepwise Refinement. ukryj opis