Title :
Information Privacy Management in Smart Home Environments: Modeling, Verification, and Implementation
Author_Institution :
Dept. of Comput. Sci., Iowa State Univ., Ames, IA
Abstract :
In this paper, we describe our efforts at modeling and verifying information privacy management in smart home environments. By proposing a three-step research plan, this work will help us and others better understand and define the behavior of smart home technology, information privacy, and the relationship between them
Keywords :
data privacy; formal verification; home automation; information privacy management modeling; information privacy management verification; smart home environments; Computer architecture; Computer science; Control systems; Environmental management; Information management; Privacy; Smart homes; System testing; Technology management; Ubiquitous computing;
Conference_Titel :
Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-7695-2655-1
DOI :
10.1109/COMPSAC.2006.134
