Remote Management and Secure Application Development for Pervasive Home Systems Using JASON.pdfVIP

Remote Management and Secure Application Development for Pervasive Home Systems Using JASON Bert Bos Łukasz Chmielewski Jaap-Henk Hoepman1 Thanh Son Nguyen Chess IT, the Netherlands Radboud University Nijmegen, the Netherlands Bert.Bos@chess.nl {lukaszc,jhh,thanhson}@cs.ru.nl Abstract In a modern house, the number of electronic devices keeps increasing. More and more of these devices become service providers. Such management may necessarily be interconnected, to provide new services. And they start dis- done by the service providers themselves. Remote manage- appearing in the environment, forming a truly pervasive ment is preferable, since service providers would wish to home system. update or interact with all devices that run their services in The embedded devices in such pervasive networks are a large geographic area without visiting each and every one usually owned and managed by several entities with con- of them. In the extreme case, we cannot visit these devices, flicting interests. This makes secure remote management since there are too many of them, and we may not even of such devices a challenging task. Software development know where they are. to implement such services need to solve complex security The above scenario is an instance of a domestic perva- problems and need to be aware of the large spread of capa- sive system. That is, a system consisting of large group bilities among the different devices. of small or