Andrea Zisman A Static Verification Framework for Secure Peer-to-Peer Applications. 8 2007 ICIW http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.11 conf/iciw/2007 db/conf/iciw/iciw2007.html#Zisman07