Qingfeng Chen, Shichao Zhang, Yi-Ping Phoebe Chen. Rule-based dependency models for security protocol analysis. Integrated Computer-Aided Engineering, 15(4):369-380, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.