首页>
外国专利>
Solve hybrid constraints to verify security software modules for detecting injection attacks
Solve hybrid constraints to verify security software modules for detecting injection attacks
展开▼
机译:解决混合约束以验证用于检测注入攻击的安全软件模块
展开▼
页面导航
摘要
著录项
相似文献
摘要
In one embodiment, a method includes analyzing one or more first numeric constraints and one or more first string constraints associated with a software module including one or more numeric variables and string variables; inferring one or more second numeric constraints applying to specific ones of the string variables; inferring one or more second string constraints applying to specific ones of the numeric variables; representing each one of the first and second numeric constraints with an equation; representing each one of the first and second string constraints with a finite state machine; and verifying whether the software module is able to detect one or more forms of injection attacks by attempting to solve for a solution including one or more values for specific ones of the numeric and string variables that satisfies all the first and second numeric constraints and all the first and second string constraints.
展开▼