Yuqing Zhang Xiuying Liu Bo Yang Running-mode Analysis of the SSL Protocol. 308-311 2005 conf/ic/2005 International Conference on Internet Computing db/conf/ic/icomp2005.html#ZhangLY05