Marson, G. A.; Poettering, B. Security Notions for Bidirectional Channels. ToSC 2017, 2017, 405-426.