Programming Languages and Systems Security

C. Skalka
2005 IEEE Security and Privacy  
doi:10.1109/msp.2005.77 fatcat:obx3wzet5zgvfaicoxyfjw3uzi