SE547: Sequential noninterference [4/23] Previous pageContentsNext page

Informal idea behind noninterference (make this formal later):

A program P satisfies noninterference if the contents of low security variables after running P is independent of the contents of high security variables before running P

Which of the following satisfy noninterference?

  1. xH=yL;
  2. yL=xH;
  3. xH=0; if(even(yL)) { xH=1; }
  4. yL=0; if(even(xH)) { yL=1; }

Previous pageContentsNext page