13.1 Module KbProcedureService

    13.1.1 Interface ProcedureConsequence

          13.1.1.1 Attribute description

          13.1.1.2 Attribute expression

    13.1.2 Interface ProcedureAntecedent

          13.1.2.1 Attribute description

          13.1.2.2 Attribute expression

    13.1.3 Interface ProcedureSemantic

          13.1.3.1 Attribute description

          13.1.3.2 Attribute expression

    13.1.4 Interface Procedure

          13.1.4.1 Attribute name

          13.1.4.2 Attribute purpose

          13.1.4.3 Attribute description

          13.1.4.4 Attribute effectiveness

          13.1.4.5 Attribute effectiveness_accuracy

          13.1.4.6 Attribute cost

          13.1.4.7 Attribute cost_accuracy

          13.1.4.8 Association Attribute consequence

          13.1.4.9 Association Attribute antecedent

          13.1.4.10 Association Attribute semantic

    13.1.5 Interface ExistenceTestProcedure

    13.1.6 Interface ExecutedTestProcedure

    13.1.7 Interface ExecutedTraceProcedure

    13.1.8 Interface VulnerabilityExploitationProcedure

          13.1.8.1 Attribute language

          13.1.8.2 Attribute expression

          13.1.8.3 Association Attribute executed_trace

          13.1.8.4 Association Attribute executed_test

          13.1.8.5 Association Attribute existance_test