100
click to vote
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...