SIFA - Trusted Filter Example << Download Area << Home

This is a model of a trusted filter, where the thrust of the security argument lies in the separation of the input from the output, which occurs in the comparator. The output is sourced entirely from a dictionary embedded in the device.

The abstract model of this device is consistent for one point-of-failure.

Download TrustedFilter5.sifa (right-click, save link target) for a copy of the model.