URI: MP-CoPD
Package: IoT
< prev | next >
Description: Finds a Controller and its control input data, and optionally a human manager.
Root Pattern: R-CoPD
Finds a Controller and its control input data.
        (empty)
Data leakage at controller Controller: if the control input data for a controller leaks, it is modelled as a loss of confidentiality for the controller.