ISR Bibliography

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