Table 13.

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

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