Table 20.

Consistent security policy P${}_{\mathsf{OORTCons}}$.

	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, OORT.Plug
Provides	*	OnOff	OpenClose
Requires	Samsung.Hub.OnOff	Samsung.Sensor.OpenClose	-