International Test Conference, pp. A simulation study of the performance of the protocol is given in Section 5. The paper concludes with a discussion and future plans. The major assumption here is that transients result in instruction bit errors or control flow errors. The behavior of a program is monitored by a watchdog processor during its execution and compared with the expected behavior.
Any discrepancy indicates an error.
International Test Conference, pp. However, intrusion detection is different from this because intrusions may not manifest as instructionlevel control flow anomalies. Instead , one must look at a higher level such as the user command level where intrusions can be better monitored. In control flow checking, a preanalysis of the program is done to generate a control flow graph of the application. Signatures or assertions are embedded into the instruction stream at compile time to generate a reference graph.