Slide 1 CPSC 875 John D. McGregor Security Slide 2 Write down the AADL specification for a simple queue Slide 3 Microsoft’s Definition Security is the capability of a system…