FPR_UNL.1 Unlinkability
Hierarchical to: No other components.
FPR_UNL.1.1 The TSF shall ensure that [assignment: set of users and/or subjects] are unable to determine whether [assignment: list of operations] [selection: were caused by the same user, are related as follows [assignment: list of relations]].
Dependencies: No dependencies.