| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 4 |       | Yang Xu, Xiaoyao Xie: Modeling and Analysis of Security Protocols Using Colored Petri Nets. JCP 6(1): 19-27 (2011) |
| 3 | | Yang Xu, Xiaoyao Xie, Huan Guo Zhang: Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets. JSW 6(7): 1181-1187 (2011) |
| 2 | | Yang Xu, Xiaoyao Xie: Security analysis of routing protocol for MANET based on extended Rubin logic. ICNSC 2008: 1326-1331 |
| 1 | | Yang Xu, Xiaoyao Xie: Analysis of Electronic Commerce Protocols Based on Extended Rubin Logic. ICYCS 2008: 2079-2084 |
Selection of 4 from 8 records - Xiaoyao Xie has 8 coauthors
Last update 2012-02-17 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page