Systems and methods for quantitative assessment of a computer defense technique

A system comprising:

• a memory storing executable instructions to execute:
• a reasoning engine:
• receives as an input a query that includes an indicia of a defense technique to a computer security threat;
• translating the defense technique into a propositional logic constraint on a queryable representation of a Boolean formula representing a model complied from a set of computer security threats and a set of defense techniques;
• performing an assessment of the defense technique based on the propositional logic constraint on the queryable representation, to quantify the defense technique relative to a member of the set of computer security threats;
• and
• displaying a result of the assessment to indicate a level of security provided by the defense technique to the member;
• and
• a processor coupled to the memory to execute the executable instructions stored therein to generate as output the result of the query.

A non-transitory computer readable medium storing instructions executable by a processing device, wherein execution of the instructions causes the processing device to implement a method for assessing a defense technique comprising:

• receiving, using a reasoning engine, as an input a query that includes an indicia of a defense technique to a computer security threat;
• translating, using the reasoning engine, the defense technique into a propositional logic constraint on a queryable representation of a Boolean formula representing a model complied from a set of computer security threats and a set of defense techniques;
• performing, using the reasoning engine, an assessment of the defense technique based on the propositional logic constraint on the queryable representation, to quantify the defense technique relative to a member of the set of computer security threats;
• and
• displaying, using the reasoning engine, a result of the assessment to indicate a level of security provided by the defense technique to the member.