A Security-by-Contracts Architecture for Pervasive Services

Download Now
Provided by: University of Trás-os-Montes and Alto Douro
Topic: Security
Format: PDF
Future pervasive environments will by characterized by pervasive client downloads: new (untrusted) clients will be dynamically downloaded in order to exploit the computational power of the nomadic devices to make a better use of the services available in the environment. To address the challenges of this paradigm the authors propose the notion of Security-by-Contract (SC), as in programming-by-contract, based on the notion of a mobile contract that a pervasive download carries with itself. It describes the relevant security features of the application and the relevant security interactions with its nomadic host.
Download Now

Find By Topic