TSF = Target Security Functions. (Security Functions of the Target)
FDP_ITC.2.3/Installer :
The TSF shall ensure that the protocol used provides for the unambiguous association between the security attributes and the user data received.
Above, you see a part of JCOP V2.4.2 R3 Security Target (Source here).
I can't understand it!
Why it is written like this!? Is it written correct? Shouldn't he/she put a "That is" between words in "protocol used" and also between words in "user data received"
I mean, does the above sentence mean like this :
The TSF shall ensure that it (TSF itself) provides the protocol that is used for the unambiguous association between the security attributes and the user data that is received
Is it right?