无线通信和移动计算
研究文章

正式的建模和研究安全验证Train-to-Train沟通

图6

安全验证报告train-to-train通信模型。