Formal Protocol Verification Applied, 14.10. - 19.10.2007