Jonathan K. Millen Hai-Ping Ko Narrowing terminates for encryption. 39- 1996 conf/csfw/1996 CSFW http://csdl.computer.org/comp/proceedings/csfw/1996/7522/00/75220039abs.htm db/conf/csfw/csfw1996.html#MillenK96