ISR
Synthesising verified access control systems in XACML
| Title | Synthesising verified access control systems in XACML |
| Publication Type | Conference Proceedings |
| Year of Publication | 2004 |
| Authors | Zhang, N., M. Ryan, and D. P. Guelev |
| Conference Name | 2004 ACM Workshop on Formal methods in security engineering |
| Pagination | 56-65 |
| Publisher | ACM Press |
| ISBN Number | 1-58113-971-3 |