ISR Bibliography

Export 1 results:
Author [ Title(Desc)] Type Year
Filters: Author is Ryan, Mark  [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.