Yih-Jiun Lee, Peter Henderson. A Practical Modelling Notation for Secure Distributed Computation. In 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan. pages 439-442, IEEE Computer Society, 2005. [doi]
Abstract is missing.