['State Machine Model. The state machine model is based on a finite state machine, as shown in Figure 5.6. ... ', 'Information Flow Model. ... ', 'Noninterference Model. ... ', 'Confidentiality. ... ', 'Integrity. ... ', 'Other Models.']