![]() | ![]() |
| 2008 | ||
|---|---|---|
| 2 | Wang Juan, Zhou Yajie, Zhang Huanguo: The Simplified Inductive Approach to Verifying Security Protocols. ISECS 2008: 523-526 | |
| 1 | Zhou Meng, Zhou Xueguang, Zhang Huanguo: Modeling and Calculation for Network System Survivability. WKDD 2008: 538-541 | |
| 1 | Wang Juan | [2] |
| 2 | Zhou Meng | [1] |
| 3 | Zhou Xueguang | [1] |
| 4 | Zhou Yajie | [2] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page