G. A. Marson and B. Poettering, “Security Notions for Bidirectional Channels”, ToSC, vol. 2017, no. 1, pp. 405–426, Mar. 2017, doi: 10.13154/tosc.v2017.i1.405-426.