Rodney Van Meter Kae Nemoto W. J. Munro 1643-1653 2007 56 IEEE Trans. Computers 12 http://doi.ieeecomputersociety.org/10.1109/TC.2007.70775 db/journals/tc/tc56.html#MeterNM07