The paper you want is at http://www.zurich.ibm.ch/Technology/Security/sirene/publ/WaPf1_89DiscoEngl.ps.gz