ISR Bibliography

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Guelev, Dimitar P.  [Clear All Filters]
2004
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.