Abstract: We present a security definition for reactive protocols that simultaneously captures the notion of deniability/incoercibility and allows for secure composition of protocols.
Permalink: http://www.ut.ee/~unruh/publications/muellerquade06composable.html