HP Inc.
HP LaserJet Enterprise MFP M527 Series,
Color LaserJet Enterprise MFP M577 Series, and
PageWide Enterprise Color MFP 586 Series
Firmware with Jetdirect Inside Security Target
Version: 2.0 Copyright © 2008-2016 by atsec information security corporation and HP Inc. Page 31 of 98
Last update: 2016-06-07 or its wholly owned subsidiaries
Hierarchical
substitution
complies with the more restrictive
FIA_UAU.2.
The TOE's Control Panel supports
identification (FIA_UID.1).
The TOE supports IPsec identification
(FIA_UID.2) which complies with the
more restrictive FIA_UID.2.
FMT_MSA.1(a) iteration name is
different to better reflect the security
attributes involved because this SFR
is shared with another access control
policy.
FMT_MSA.1-
perm and
FMT_MSA.1-
tfac
FMT_MSA.1(b) was further iterated
because the operations on the
security attributes differ.
FMT_MSA.3(a) was omitted because
the security attributes do not have
default values in the evaluated
configuration.
FMT_MSA.3(b) was omitted because
the security attributes do not have
default values in the evaluated
configuration.
The iteration name was changed from
"(a)" to "-auth" (TSF Data associated
with authorization) for better
understandability when reading the
ST.
The iteration name was changed from
"(b)" to "-users" (TSF Data associated
with users) for better
understandability when reading the
ST.