A Programming Language Approach to Safety in Home Networks

Kjeld Høyer Mortensen, Kari Rye Schougaard, Ulrik Pagh Schultz

Publikation: Working paperForskning


Home networks and the interconnection of home appliances is a classical theme in pervasive computing research. Security is usually addressed through the use of encryption and authentication, but there is a lack of awareness of safety: reventing the computerized house from harming the inhabitants, even in a worst-case scenario where an unauthorized user gains remote control of the facilities. We address this safety issue at the programming language level by restricting the operations that can be performed on devices according to the physical location of the user initiating the request. Operations that pose a potential safety hazard can only be performed within a physical proximity that ensures the safety of the operation.

We define a conceptual model based on capabilities that define the origin of an action, and use a declarative approach integrated with an IDL language to express location-based restrictions on operations. This model has been implemented in a middleware for home AV devices written in Java, using infrared communication and a FireWire network to implement location awareness.

Antal sider23
StatusUdgivet - 2003
Udgivet eksterntJa


Dyk ned i forskningsemnerne om 'A Programming Language Approach to Safety in Home Networks'. Sammen danner de et unikt fingeraftryk.