doi dblp A case for software assurance Mary Ann Davidson Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006