机译:基于功能的连接协议开发和验证,以确保车辆环境中的安全通信
Vehicular network; Protocol security; Authentication; Model checking;
机译:基于功能的连接协议开发和验证,以确保车辆环境中的安全通信
机译:基于功能的车载通信系统安全协议的提议与验证
机译:嘈杂环境下安全量子通信协议的比较研究:基于单量子位的协议与基于纠缠态的协议
机译:迈向绿色安全的车对车通信:建立网络的协议
机译:跨层技术可确保对等协议的安全,以进行位置,邻接和身份验证。
机译:从早期婴儿到6岁与交流发展有关的吞咽行为和进食环境:范围界定审查方案
机译:保护经过静态验证的通信协议以防止时间攻击