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