Table 8.

Security contract C${}_{\mathsf{B}}$.

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