Nan Zhang

According to our database, Nan Zhang authored at least 4 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Synthesising verified access control systems through model checking.

Nan Zhang, Mark Ryan, Dimitar P. Guelev

J. Comput. Secur., 2008

2005

Generating verified access control policies through model-checking.

Nan Zhang

PhD thesis, 2005

Evaluating Access Control Policies Through Model Checking.

Nan Zhang, Mark Ryan, Dimitar P. Guelev

Proceedings of the Information Security, 8th International Conference, 2005

2004

Synthesising verified access control systems in XACML.

Nan Zhang, Mark Ryan, Dimitar P. Guelev

Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, 2004