Welcome to the InfoSci Platform
Applications of Formalized Information Theory

Applications of Formalized Information Theory

Copyright: © 2015 |Pages: 20
ISBN13: 9781466683150|ISBN10: 1466683155|EISBN13: 9781466683167
DOI: 10.4018/978-1-4666-8315-0.ch011
Cite Chapter Cite Chapter

MLA

Osman Hasan and Sofiène Tahar. "Applications of Formalized Information Theory." Formalized Probability Theory and Applications Using Theorem Proving, IGI Global, 2015, pp.159-178. https://doi.org/10.4018/978-1-4666-8315-0.ch011

APA

O. Hasan & S. Tahar (2015). Applications of Formalized Information Theory. IGI Global. https://doi.org/10.4018/978-1-4666-8315-0.ch011

Chicago

Osman Hasan and Sofiène Tahar. "Applications of Formalized Information Theory." In Formalized Probability Theory and Applications Using Theorem Proving. Hershey, PA: IGI Global, 2015. https://doi.org/10.4018/978-1-4666-8315-0.ch011

Export Reference

Mendeley
Favorite

Abstract

In previous chapters, the authors provided a comprehensive framework that can be used in the formal probabilistic and information-theoretic analysis of a wide range of systems and protocols. In this chapter, they illustrate the usefulness of conducting this analysis using theorem proving by tackling a number of applications including a data compression application, the formal analysis of an anonymity-based MIX channel, and the properties of the onetime pad encryption system.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.