Formal security analysis of automated trust negotiation | IEEE Conference Publication | IEEE Xplore