ISR Bibliography

Export 1 results:
Author [ Title(Asc)] Type Year
Filters: Author is Zhang, Nan  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Zhang, N., M. Ryan, and D. P. Guelev, "Synthesising verified access control systems in XACML", 2004 ACM Workshop on Formal methods in security engineering: ACM Press, pp. 56-65, 2004.