Composable Deniability (abstract) (Workshop on Models for Cryptographic Protocols 2006)
Jörn Müller-Quade, Dominique Unruh
[ eprint ]
We present a security definition for reactive protocols that simultaneously captures the notion of deniability/incoercibility and allows for secure composition of protocols.