Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nan Zhang 0003" ( http://dblp.L3S.de/Authors/Nan_Zhang_0003 )

URL (Homepage):  http://www.cs.bham.ac.uk/~nxz/  Author page on DBLP  Author page in RDF  Community of Nan Zhang 0003 in ASPL-2

Publication years (Num. hits)
2004 (1) 2005 (1) 2008 (1)
Publication types (Num. hits)
article(1) inproceedings(2)
Venues (Conferences, Journals, ...)
FMSE(1) ISC(1) Journal of Computer Security(1)
Authors
Dimitar P. Guelev(3) Mark Ryan(3) Nan Zhang 0003(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev Synthesising verified access control systems through model checking. Search on Bibsonomy Journal of Computer Security The full citation details ... 2008 DBLP  BibTeX  RDF
1Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev Evaluating Access Control Policies Through Model Checking. Search on Bibsonomy ISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF access control policy language, model checking, verification, access control, access control policy, access control model
1Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev Synthesising verified access control systems in XACML. Search on Bibsonomy FMSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF access control policy language, XACML, access control model
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.