Vijay Varadharajan Trustworthy Computing (Extended Abstract). 13-16 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3306&spage=13 2004 conf/wise/2004 WISE db/conf/wise/wise2004.html#Varadharajan04