Table 17.

Inconsistent security policy P${}_{\mathsf{OORT}}$.

	Rule R${}_{\mathsf{Plug}}$	Rule R${}_{\mathsf{Hub}}$	Rule R${}_{\mathsf{Sensor}}$
D	OORT.Plug	Samsung.Hub	Samsung.Sensor
Dom	LAN	LAN	LAN
Shares	*.*	OORT.Plug	Samsung.Hub
Provides	*	OnOff	OpenClose
Requires	Samsung.Hub.OnOff	Samsung.Sensor.OpenClose	-