Nan Zhang

Publication Activity (10 Years)

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

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Nan Zhang, Mark Ryan, Dimitar P. Guelev
Synthesising verified access control systems through model checking. J. Comput. Secur. 16 (1) (2008)
Nan Zhang, Mark Ryan, Dimitar P. Guelev
Evaluating Access Control Policies Through Model Checking. ISC (2005)
Nan Zhang, Mark Ryan, Dimitar P. Guelev
Synthesising verified access control systems in XACML. FMSE (2004)