Reverse Protocol Verification: Concept, Algorithm and Application

Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang. Reverse Protocol Verification: Concept, Algorithm and Application. Comput. J., 39(6):511-524, 1996.