Christian Skalka Programming Languages and Systems Security. 80-83 2005 3 IEEE Secur. Priv. 3 https://doi.org/10.1109/MSP.2005.77 http://doi.ieeecomputersociety.org/10.1109/MSP.2005.77 db/journals/ieeesp/ieeesp3.html#Skalka05