Applications for Provably Secure Intent Protection with Bounded Input-Size Programs.

J. Todd McDonald Alec Yasinsac Applications for Provably Secure Intent Protection with Bounded Input-Size Programs. 286-293 2007 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2007.40 conf/IEEEares/2007 db/conf/IEEEares/ares2007.html#McDonaldY07