Jalote, PankajKumar, Apurva2013-11-042024-10-292012http://10.17.50.146:4000/handle/123456789/2457Seqrity Internet protocolModeling and analyzing web protocols for trust and secrecyThesis