Archived TD0457: Typographical error in FPT_FLS.1.1
A bracket is missing in FPT_FLS.1.1 in the ESC EP V1.0 that makes it unclear what is contained within a selection operation.
FPT_FLS.1.1 in the ESC EP v1.0 is modified as follows:
The TSF shall preserve a secure state through the following means: [selection: audible alarm, visual indicator, reboot of the TOE, shutdown of the TOE, [assignment: other methods]] when the following types of failures occur: [failure of self-tests defined in FPT_TST_EXT.1, failure of [assignment: hardware components that affect the proper functioning of the TOE]].
See issue description.