@article{贺前华_147, author = {[贺前华, 江 瑾, 黄翰陞]}, title = {隐标识身份认证方法及其形式化语义分析}, publisher = {计算机工程}, year = {2008}, journal = {计算机工程}, volume = {34}, number = {12}, eid = {147}, pages = {147-148}, keywords = {隐标识身份认证方法;SVO逻辑;形式化语义分析}, doi = http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2008.12.051 }