Yi-Ting Chiang, Tsan-sheng Hsu, Churn-Jung Liau, Yun-Ching Liu, Chih-Hao Shen, Da-Wei Wang, Justin Zhan: An Information-Theoretic Approach for Secure Protocol Composition. SecureComm (1) 2014: 405-423