Shujing Wang

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Shujing Wang, Yan Zhang
A Logic Programming Based Framework for Security Protocol Verification. ISMIS (2008)
Shujing Wang, Yan Zhang
Handling distributed authorization with delegation through answer set programming. Int. J. Inf. Sec. 6 (1) (2007)
Shujing Wang, Yan Zhang
A Formalization of Distributed Authorization with Delegation. ACISP (2005)
Shujing Wang, Yan Zhang
Answer Set Programming for Distributed Authorization: The Language, Computations, and Application. Australian Conference on Artificial Intelligence (2005)
Shujing Wang, Yan Zhang
Specifying Distributed Authorization with Delegation Using Logic Programming. KES (2) (2005)