The customer has a small Check Point installation which includes one Windows 7 workstation as the SmartConsole, one GAiA device working as Security
Management Server, and a third server running SecurePlatform as Security Gateway. This is an example of a(n):