152 search results - page 9 / 31 » Securing Communications in the Smart Home |
JCS
2002
13 years 7 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
SOUPS
2006
ACM
14 years 1 months ago
2006
ACM
– In this paper we describe the protection goals and mechanisms in HomePlug AV, a next-generation power-line communications standard. This is a fascinating case-history in securi...
CRISIS
2009
13 years 5 months ago
2009
IPv6 is an attractive technology for innovative services such as health care monitoring, alarm systems, peer to peer applications, virtual machine systems and so on. The generaliza...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Smart grid is an emerging technology which is able to control the power load via price signaling. The communication between the power supplier and power customers is a key issue in...
HOTNETS
2010
13 years 2 months ago
2010
Today's Internet services increasingly use IP-based geolocation to specialize the content and service provisioning for each user. However, these systems focus almost exclusiv...