A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace

Fusheng Wu, Huanguo Zhang, Wengqing Wang, Jianwei Jia, Shi Yuan. A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace. Security and Communication Networks, 2017, 2017. [doi]

Abstract

Abstract is missing.