理智的

此软件的关键字
zbMATH中的参考文献(参考文献 10条 )
贝齐什,墨菲; 白天,乔尔D。; 加内什,维杰; 库尔钦斯基,米佳; 玛尼娅,弗洛林; 莫拉,费德里科; Nowotka,Dirk:涉及正则成员谓词的字符串理论:从实践到理论再到回来(2021) 普罗霍伦科,维克托; 周金光雷蒙德; Ashman,Helen:面向上下文的web应用程序保护模型(2016) 小牛肉,马格斯; Bjørner,Nikolaj:有限值符号有限传感器的等价性(2016) Veanes,Margus:带常规前瞻和回滚的符号字符串转换(2015) 李小伟; 薛元: 关于保护web应用程序的服务器端方法的调查(2014) 拉扎克,阿卜杜勒; 拉蒂夫,哈立德; 艾哈迈德,H.法鲁克; 啊,阿里; 安瓦尔,扎希德; Bloodworth,Peter Charles:针对web应用程序攻击的语义安全(2014) ioport公司 余方; 阿尔卡拉夫、穆阿特; 布尔坦、特夫菲克; Ibarra,Oscar H.:用于漏洞检测的基于自动机的符号字符串分析(2014) 张若愚; 黄世秋; 齐正伟; 关海兵:软件漏洞发现的静态程序分析辅助动态污点跟踪(2012) ioport公司 戈拉,丹妮尔; Pugliese,Rosario:网络感知协调语言中能力的动态管理(2009) 余方; 布尔坦、特夫菲克; Ibarra,Oscar H.:符号字符串验证:结合字符串分析和大小分析(2009)