安全计算机通信管理机制的形式化验证与实现
2016-08-16 03:20:40梁靓,曹源,马连川等
通信学报
2016年11期
登录APP查看全文
猜你喜欢
建材发展导向(2022年2期)2022-03-08 01:43:56
小学科学(学生版)(2021年7期)2021-07-28 06:44:42
趣味(数学)(2020年9期)2020-06-09 05:35:08
现代经济信息(2020年34期)2020-06-08 06:02:04
航天工业管理(2020年2期)2020-04-21 05:27:22
科技传播(2019年22期)2020-01-14 03:06:34
科技传播(2019年22期)2020-01-14 03:06:30
铁道通信信号(2019年6期)2019-10-08 09:02:32
消费导刊(2017年20期)2018-01-03 06:26:40
中国房地产业(2016年2期)2016-03-01 01:25:16
