Boaz Barak Amir Herzberg Dalit Naor Eldad Shai The Proactive Security Toolkit and Applications. 18-27 1999 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/319709.319713 db/conf/ccs/ccs1999.html#BarakHNS99