%0 Journal Article %1 journals/jsjkx/NieZZZ18 %A Nie, Kai %A Zhou, Qinglei %A Zhu, Weijun %A Zhang, Chaoyang %D 2018 %J 计算机科学 %K dblp %N 2 %P 209-214 %T 基于时序逻辑的3种网络攻击建模 (Modeling for Three Kinds of Network Attacks Based on Temporal Logic). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx45.html#NieZZZ18 %V 45

@article{journals/jsjkx/NieZZZ18, added-at = {2020-03-12T00:00:00.000+0100}, author = {Nie, Kai and Zhou, Qinglei and Zhu, Weijun and Zhang, Chaoyang}, biburl = {https://www.bibsonomy.org/bibtex/210a66b434e2adcc9b9a8edffb694a2af/dblp}, ee = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2018.02.036}, interhash = {b97546b17890d2e156a123a946710dfc}, intrahash = {10a66b434e2adcc9b9a8edffb694a2af}, journal = {计算机科学}, keywords = {dblp}, number = 2, pages = {209-214}, timestamp = {2020-03-13T12:03:57.000+0100}, title = {基于时序逻辑的3种网络攻击建模 (Modeling for Three Kinds of Network Attacks Based on Temporal Logic).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx45.html#NieZZZ18}, volume = 45, year = 2018 }