Items where Author / Artist / Editor is "Ma, Xiaoqi"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.
Article
Cheng, Xiaochun 
ORCID: https://orcid.org/0000-0003-0371-9646, Ma, Xiaoqi, Huang, Scott C.-H. and Cheng, Maggie
(2010)
Mechanical verification of cryptographic protocols.
Network Security
.
pp. 97-115.
ISSN 1353-4858
[Article]
(doi:10.1007/978-0-387-73821-5_5)
Ma, Xiaoqi and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646
(2008)
Verifying security protocols by knowledge analysis.
International Journal of Security and Networks, 3
(3)
.
pp. 183-192.
ISSN 1747-8405
[Article]
(doi:10.1504/IJSN.2008.020092)
