Jin Jiang, Lei Li, Zhihong Huang. Hidden-ID Authentication Scheme and its SVO-Logic Based Formal Analysis. In Computational Intelligence and Security, International Conference, CIS 2007, Harbin, Heilongjiang, China, December 15-19, 2007. pages 781-784, IEEE Computer Society, 2007. [doi]
@inproceedings{JiangLH07-0, title = {Hidden-ID Authentication Scheme and its SVO-Logic Based Formal Analysis}, author = {Jin Jiang and Lei Li and Zhihong Huang}, year = {2007}, doi = {10.1109/CIS.2007.203}, url = {http://doi.ieeecomputersociety.org/10.1109/CIS.2007.203}, tags = {rule-based, analysis, logic}, researchr = {https://researchr.org/publication/JiangLH07-0}, cites = {0}, citedby = {0}, pages = {781-784}, booktitle = {Computational Intelligence and Security, International Conference, CIS 2007, Harbin, Heilongjiang, China, December 15-19, 2007}, publisher = {IEEE Computer Society}, isbn = {0-7695-3072-9}, }