Yih-Jiun Lee Peter Henderson A Practical Modelling Notation for Secure Distributed Computation. 439-442 2005 conf/aina/2005 AINA http://doi.ieeecomputersociety.org/10.1109/AINA.2005.48 db/conf/aina/aina2005.html#LeeH05