Which concept ensures that a system always moves from one secure state to another secure state?

1. AState machine model
2. BNon-interference model
3. CCovert channel analysis
4. DInformation flow masking