Universally Composable Security Analysis of TLSSebastian Gajek, Jörg Schwenk, Mark Manulis et al.|Lecture notes in computer science|2008Cited by 91