Jonathan K. Millen Harald Rueß Protocol-Independent Secrecy. 110-209 2000 IEEE Symposium on Security and Privacy http://computer.org/proceedings/s%26p/0665/06650110abs.htm db/conf/sp/sp2000.html#MillenR00