Sciweavers

CCS
2004
ACM

Synthesising verified access control systems in XACML

14 years 4 months ago
Synthesising verified access control systems in XACML
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where CCS
Authors Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
Comments (0)