Bruno Dutertre Valentin Crettaz Victoria Stavridou 216- 2002 IEEE Symposium on Security and Privacy http://computer.org/proceedings/sp/1543/15430216abs.htm db/conf/sp/sp2002.html#DutertreCS02