Check out the new USENIX Web site. next up previous
Next: Symmetry of input and Up: Equivalence Previous: Secure input secure output.

Trusted input + one bit of trusted output trusted output.

The customer can feed the value displayed by untrusted output back to the smart card. The smart card then uses its one bit of trusted output to signal that it received the value and agrees with it.



TOM Comversion
Fri Oct 4 17:57:09 EDT 1996