Hikaru Morita Kazuo Ohta Shoji Miyaguchi A Switching Closure Test to Analyze Cryptosystems. 183-193 http://dx.doi.org/10.1007/3-540-46766-1_13 1991 conf/crypto/1991 CRYPTO db/conf/crypto/crypto91.html#MoritaOM91