Fingerprint Dive into the research topics of 'Analysis of XACML policies with SMT'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Analysis of XACML policies with SMT
F. Turkmen, J.I. Hartog, den, S. Ranise, N. Zannone
Research output: Book/Report › Report › Academic
387
Downloads
(Pure)