Bingyang Zhou Security Analysis and the DSM Model. 17-21 2002 conf/dexaw/2002 DEXA Workshops http://computer.org/proceedings/dexa/1668/16680017abs.htm db/conf/dexaw/dexaw2002.html#Zhou02