瓦伦丁·Wüstholz;奥斯瓦尔多·奥利沃;Heule，Marijn J.H。;伊西尔·迪利格 静态检测使用正则表达式的程序中的DoS漏洞。 （英语） Zbl 1452.68060号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206，3-20（2017）。MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Wüstholz}等人，Lect。注释计算。科学。10206，3--20（2017；Zbl 1452.68060） 全文： 内政部 arXiv公司
米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;里卡多·福卡迪 web安全的形式化方法。 （英语） Zbl 1359.68021号 J.日志。阿尔盖布。方法计划。 87, 110-126 (2017).MSC公司：68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，J.Log。阿尔盖布。方法计划。87110-126（2017年；兹bl 1359.68021） 全文： 内政部 链接
维克托·普罗霍伦科;Kim-Kwang Raymond Choo先生;海伦·阿什曼 面向上下文的web应用程序保护模型。 （英语） Zbl 1410.68042号 申请。数学。计算。 285, 59-78 (2016).MSC公司：68英里11 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{V.Prokhorenko}等人，应用。数学。计算。285、59--78（2016；Zbl 1410.68042） 全文： 内政部
高弘松田;花冈、果一郎 交易明文-可模拟性，以实现选定的密文安全。 （英语） Zbl 1388.94073号 Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。《计算机科学讲义》9614，3-34（2016）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Matsuda}和\textit{G.Hanaoka}，莱克特。注释计算。科学。9614，3--34（2016；Zbl 1388.94073） 全文： 内政部
李晓伟;袁雪。 关于保护web应用程序的服务器端方法的调查。 （英语） 兹比尔1305.68035 ACM计算。Surv公司。 46，第4号，第54号论文，29页（2014）.MSC公司：68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}和\textit{Yuan.Xue}，美国计算机学会。Surv公司。46，第4号，第54号论文，29页（2014；Zbl 1305.68035） 全文： 内政部
萨波日尼科夫，A。 正常程序行为模型构建的自动化。 （英语。俄文原件） Zbl 1253.68098号 程序。计算。柔和。 38，第4号，210-217（2012）; 译自Programmirovanie 38，No.4（2012）。MSC公司：68号30 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sapozhnikov}，程序。计算。柔和。38、第4号、第210-217号（2012；Zbl 1253.68098）；译自Programmirovanie 38，No.4（2012） 全文： 内政部
李英勇;郑顺基;Yeo，Sangsoo先生;月亮，琼苏布 一种基于删除SQL查询属性值的SQL注入攻击检测新方法。 （英语） 兹比尔1245.94079 数学。计算。建模 55，编号1-2，58-68（2012）.MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{I.Lee}等人，数学。计算。55号模型，编号1--2，58-68（2012；Zbl 1245.94079） 全文： 内政部
马丁·布拉文波尔;埃尔科·多尔斯特拉;埃尔科·维瑟 使用语法嵌入防止注入攻击。 （英语） Zbl 1211.68046号 科学。计算。程序。 75,7473-495（2010年）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravenboer}等人，科学。计算。程序。75，第7号，473--495（2010；Zbl 1211.68046） 全文： 内政部