… If ltk(A,A) is non-originating, then two conclusions follow. First, the contents of com- munications along this channel are not disclosed. Second, the endpoints of the channel, C … contents, this would occur. The first scenario analyzes the protocol under the assumption of a com- plete run of the verifier. Since the verifier approved the release of the data, the … specific context for the data sent in messages. When the server chooses a 27 verifier to contact, for example, the guarantee of verifier(V ) is what identifies V as the name of a …