Formal security analysis of automated trust negotiation.

Xinxin Liu, Shaohua Tang, Kai Wei

Browse the full ICMLC paper archive.