Towards High Integrity UDDI Systems. - Colin Atkinson 001; Philipp Bostan; Gergana Deneva; Marcus Schumacher (BIS (Workshops), 2009)