Identifying Dependency Between Secure Messages for Protocol Analysis

Qingfeng Chen, Shichao Zhang, Yi-Ping Phoebe Chen. Identifying Dependency Between Secure Messages for Protocol Analysis. In Zili Zhang, Jörg H. Siekmann, editors, Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings. Volume 4798 of Lecture Notes in Computer Science, pages 30-38, Springer, 2007. [doi]

Authors

Qingfeng Chen

This author has not been identified. Look up 'Qingfeng Chen' in Google

Shichao Zhang

This author has not been identified. Look up 'Shichao Zhang' in Google

Yi-Ping Phoebe Chen

This author has not been identified. Look up 'Yi-Ping Phoebe Chen' in Google