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

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

图7

安全属性验证图train-to-train沟通。