DocumentCode
2780932
Title
Information Privacy Management in Smart Home Environments: Modeling, Verification, and Implementation
Author
Babbitt, Ryan
Author_Institution
Dept. of Comput. Sci., Iowa State Univ., Ames, IA
Volume
2
fYear
2006
fDate
17-21 Sept. 2006
Firstpage
344
Lastpage
346
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International
Conference_Location
Chicago, IL
ISSN
0730-3157
Print_ISBN
0-7695-2655-1
Type
conf
DOI
10.1109/COMPSAC.2006.134
Filename
4020191
Link To Document