Junzhou Luo, Ming Yang. Analysis of security protocols based on challenge-response. Science in China Series F: Information Sciences, 50(2):137-153, 2007. [doi]
@article{LuoY07, title = {Analysis of security protocols based on challenge-response}, author = {Junzhou Luo and Ming Yang}, year = {2007}, doi = {10.1007/s11432-007-0015-8}, url = {http://dx.doi.org/10.1007/s11432-007-0015-8}, tags = {rule-based, protocol, analysis, security}, researchr = {https://researchr.org/publication/LuoY07}, cites = {0}, citedby = {0}, journal = {Science in China Series F: Information Sciences}, volume = {50}, number = {2}, pages = {137-153}, }