| 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 |
