Approach to Detecting Type-Flaw Attacks Based on Extended Strand Spaces

WeiTao Song, Bin Hu. Approach to Detecting Type-Flaw Attacks Based on Extended Strand Spaces. Comput. J., 58(4):572-587, 2015. [doi]

Abstract

Abstract is missing.