John McLean Trustworthy Software: Why we need it, Why we don't have it, How we can get it. 32-33 2006 conf/compsac/2006 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.84 db/conf/compsac/compsac2006-1.html#McLean06