Marson GA, Poettering B. Security Notions for Bidirectional Channels. ToSC. 2017;2017(1):405-426. doi:10.13154/tosc.v2017.i1.405-426