FORMAL ANALYSIS OF PROTOCOL INDISTINGUISHABILITY
Abstract
The work consists of investigation of state space reduction techniques that can make possible to formally verify indistinguishability pproperties of relevant protocols used in actual practice, modulo a wide variety of algebraic properties including properties involving AC axioms such as the theories of abelian groups and of homomorphic encryptions.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Aug 05, 2016
- Source ID
- N00173152C001
Entities
People
- José Meseguer
Organizations
- United States Naval Research Laboratory
- United States Navy
- University of Illinois Urbana–Champaign