336 search results - page 68 / 68 » Relevance heuristics for program analysis |
CCS
2011
ACM
12 years 4 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...