A Formalization of Distributed Authorization with Delegation. - Shujing Wang 001; Yan Zhang 003 (ACISP, 2005)

Answer Set Programming for Distributed Authorization: The Language, Computations, and Application. - Shujing Wang 001; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2005)

Specifying Distributed Authorization with Delegation Using Logic Programming. - Shujing Wang 001; Yan Zhang 003 (KES (2), 2005)

Handling distributed authorization with delegation through answer set programming. - Shujing Wang 001; Yan Zhang 003 (Int. J. Inf. Sec., 2007)

A Logic Programming Based Framework for Security Protocol Verification. - Shujing Wang 001; Yan Zhang 003 (ISMIS, 2008)