×

找到2个文档(结果1-2)

基于形式验证的软件数据库单元中的信息流控制。 (英语。俄文原件) Zbl 1507.68108号

程序。计算。柔和。 48,第4期,265-285(2022); 译自Programmirovanie 48,No.4,27-49(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种新的语义感知方法,用于检测恶意web流量。 (英语) Zbl 1452.94109号

Qing,Sihan(编辑)等,《信息与通信安全》。2017年ICICS第19届国际会议,2017年12月6日至8日,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10631, 633-645 (2018).
MSC公司:94A62型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段