蒂马科夫,A.A。 基于形式验证的软件数据库单元中的信息流控制。 (英语。俄文原件) Zbl 1507.68108号 程序。计算。柔和。 48,第4期,265-285(2022); 译自Programmirovanie 48,No.4,27-49(2022)。MSC公司:第68页,共15页 68平方米25 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Timakov},程序。计算。柔和。48,No.4,265--285(2022;Zbl 1507.68108);译自Programmirovanie 48,No.4,27-49(2022) 全文: 内政部
杨靖;王丽明;徐、珍 一种新的语义感知方法,用于检测恶意web流量。 (英语) Zbl 1452.94109号 Qing,Sihan(编辑)等,《信息与通信安全》。2017年ICICS第19届国际会议,2017年12月6日至8日,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10631, 633-645 (2018).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,Lect。注释计算。科学。10631,633--645(2018;Zbl 1452.94109) 全文: 内政部