Table 10.

Security policy P${}_{\mathsf{A}}$.

	Rule R${}_{\mathsf{A}\mathsf{1}}$	Rule R${}_{\mathsf{B}\mathsf{1}}$	Rule R${}_{\mathsf{B}\mathsf{2}}$
D	D-Link.933L	Philips.HueWhite	Philips.HueWhite
Dom	*	LAN	LAN
Shares	Apple.LukePhone	Philips .*	*.*
Provides	SetDayNight	On, Bri, Hue	On , Bri
Requires	-	Philips.HueMotion.Presence	-