1 INTRODUCTION  
2 PRELIMINARY: ACCESS CONTROL AND ACCESS CONTROL VULNERABILITIES  
3 OVERVIEW  
4 TOOL SUPPORT IN SOFTWARE DESIGN AND IMPLEMENTATION  
5 SOFTWARE ANALYSIS AND TESTING  
6 RUNTIME MONITORING  
7 OPEN PROBLEMS  
8 CONCLUSIONS