Information Privacy Management in Smart Home Environments: Modeling, Verification, and Implementation | IEEE Conference Publication | IEEE Xplore