研读：Sound Security Protocol Transformations,布布扣,bubuko.com
研读：Sound Security Protocol Transformations
原文：http://blog.csdn.net/trustbo/article/details/22079437
