<def-group>
  <definition class="compliance" id="ensure_redhat_gpgkey_installed" version="1">
    <metadata>
      <title>Red Hat Release and Auxiliary gpg-pubkey Packages Installed</title>
      <affected family="unix">
        <platform>multi_platform_rhel</platform>
      </affected>
      <description>The Red Hat release and auxiliary key packages are required to be installed.</description>
      <reference source="JL" ref_id="RHEL6_20141130" ref_url="test_attestation" />
      <reference source="JL" ref_id="RHEL7_20141130" ref_url="test_attestation" />
    </metadata>
    <criteria comment="packages gpg-pubkey-fd431d51-4ae0493b and gpg-pubkey-2fa658e0-45700c69 are installed" operator="AND">
      <criterion comment="package gpg-pubkey-fd431d51-4ae0493b is installed"
      test_ref="test_package_gpgkey-fd431d51-4ae0493b_installed" />
      <criterion comment="package gpg-pubkey-2fa658e0-45700c69 is installed"
      test_ref="test_package_gpgkey-2fa658e0-45700c69_installed" />
    </criteria>
  </definition>

  <linux:rpminfo_test check="only one" check_existence="at_least_one_exists"
  id="test_package_gpgkey-fd431d51-4ae0493b_installed" version="1"
  comment="Red Hat release key package is installed">
    <linux:object object_ref="obj_package_gpg-pubkey" />
    <linux:state state_ref="state_package_gpg-pubkey-fd431d51-4ae0493b" />
  </linux:rpminfo_test>
  <linux:rpminfo_state id="state_package_gpg-pubkey-fd431d51-4ae0493b" version="1">
    <linux:release>4ae0493b</linux:release>
    <linux:version>fd431d51</linux:version>
  </linux:rpminfo_state>

  <linux:rpminfo_test check="only one" check_existence="at_least_one_exists"
  id="test_package_gpgkey-2fa658e0-45700c69_installed" version="1"
  comment="Red Hat auxiliary key package is installed">
    <linux:object object_ref="obj_package_gpg-pubkey" />
    <linux:state state_ref="state_package_gpg-pubkey-2fa658e0-45700c69" />
  </linux:rpminfo_test>
  <linux:rpminfo_object id="obj_package_gpg-pubkey" version="1">
    <linux:name>gpg-pubkey</linux:name>
  </linux:rpminfo_object>
  <linux:rpminfo_state id="state_package_gpg-pubkey-2fa658e0-45700c69" version="1">
    <linux:release>45700c69</linux:release>
    <linux:version>2fa658e0</linux:version>
  </linux:rpminfo_state>

</def-group>
