Masayuki Terada Kazuki Yoneyama Sadayuki Hongo Kazuo Ohta Modeling Agreement Problems in the Universal Composability Framework. 350-361 2007 conf/icics/2007 ICICS http://dx.doi.org/10.1007/978-3-540-77048-0_27 db/conf/icics/icics2007.html#TeradaYHO07