Construction CCCftS+aFC-aTS+aI

URI: CP-CCCftS+aFC-aTS+aI

Package: ProcessCommsInference

< prev | next >

< prev | next > (by absolute priority)

Description: Finds a client-service channel, the client and service, and an access context on each side, where the channel can be accessed from the client in its context, but the service cannot be accessed in its context. Adds a link to indicate that access to the service is interrupted when the client is in this context.

Priority: 8261

Iterate: False

Matching Pattern:

MP-CCCftS+aFC-aTS

Finds a client-service channel, the client and service, and an access context on each side, where the channel can be accessed from the client in its context, but the service cannot be accessed in its context.