Nan Zhang

University of Birmingham, UK

other persons with the same name:

• Nan Zhang - University of Kaiserslautern
• Nan Zhang - National University of Singapore, Multimedia Information Lab
• Nan Zhang
• Nan Zhang - University of Bielefeld
• Nan Zhang - China Knowledge Grid Research Group, Chinese Academy of Science
• Nan Zhang - Beijing University of Technology
• Nan Zhang - Michigan State University
• Nan Zhang - Texas A&M University
• Nan Zhang - University of Central Florida
• Nan Zhang - University of Minnesota

2008
3	EE	Nan Zhang, Mark Ryan, Dimitar P. Guelev: Synthesising verified access control systems through model checking. Journal of Computer Security 16(1): 1-61 (2008)
2005
2	EE	Nan Zhang, Mark Ryan, Dimitar P. Guelev: Evaluating Access Control Policies Through Model Checking. ISC 2005: 446-460
2004
1	EE	Nan Zhang, Mark Ryan, Dimitar P. Guelev: Synthesising verified access control systems in XACML. FMSE 2004: 56-65

Coauthor Index

1	Dimitar P. Guelev	[1] [2] [3]
2	Mark Ryan (Mark Dermot Ryan)	[1] [2] [3]