安全計算機通信管理機制的形式化驗證與實現(xiàn)
2016-08-16 03:20:40梁靚,曹源,馬連川等
通信學(xué)報 2016年11期
猜你喜歡
建材發(fā)展導(dǎo)向(2022年2期)2022-03-08 01:43:56
小學(xué)科學(xué)(學(xué)生版)(2021年7期)2021-07-28 06:44:42
趣味(數(shù)學(xué))(2020年9期)2020-06-09 05:35:08
現(xiàn)代經(jīng)濟信息(2020年34期)2020-06-08 06:02:04
航天工業(yè)管理(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
經(jīng)濟技術(shù)協(xié)作信息(2018年5期)2019-01-19 08:39:22
消費導(dǎo)刊(2017年20期)2018-01-03 06:26:40
