| |
| 2008 | ||
|---|---|---|
| 5 | EE | Shujing Wang, Yan Zhang: A Logic Programming Based Framework for Security Protocol Verification. ISMIS 2008: 638-643 |
| 2007 | ||
| 4 | EE | Shujing Wang, Yan Zhang: Handling distributed authorization with delegation through answer set programming. Int. J. Inf. Sec. 6(1): 27-46 (2007) |
| 2005 | ||
| 3 | EE | Shujing Wang, Yan Zhang: A Formalization of Distributed Authorization with Delegation. ACISP 2005: 303-315 |
| 2 | EE | Shujing Wang, Yan Zhang: Answer Set Programming for Distributed Authorization: The Language, Computations, and Application. Australian Conference on Artificial Intelligence 2005: 1191-1194 |
| 1 | EE | Shujing Wang, Yan Zhang: Specifying Distributed Authorization with Delegation Using Logic Programming. KES (2) 2005: 761-767 |
| 1 | Yan Zhang | [1] [2] [3] [4] [5] |