CLASSIFICATION (10) Checking

• Criterion #10: Checking (C).

  • Conditions of inconsistency can be checked using several techniques.

• Classes:

  • Checking the reference (or data) type (r) as in [WULF72,LEE87a]
  • Program structure analysis (s) as in [BRANT85, VEIDE86]
  • Data dependency analysis (d) as in [CYTRO88]
  • Run-time information comparison (c) as in [CHEON89]
  • Monitoring of the network traffic (m) as in [CHERI86]

• Comment:

  • Some schemes include more than one technique for detection of inconsistency [CHEO88a]. In such cases, the scheme is classified according to the technique which dominates. The presence of other techniques will be indicated accordingly (using slashes, e.g. c/+s+d+r/).