基于连续时间马尔科夫链的快速安全协议的分析(英文)

基于连续时间马尔科夫链的快速安全协议的分析(英文)Title: Analysis of Fast Secure Protocols based on Continuous-Time Markov Ch