Mobility, Ubiquity and Security for small Devices

Información del proyecto

MOBIUS

Identificador del acuerdo de subvención: 015905

Proyecto cerrado

Fecha de inicio 1 Septiembre 2005

Fecha de finalización 31 Agosto 2009

Financiado con arreglo a

• Information Society Technologies: thematic priority under the specific programme "Integrating and strengthening the European research area" (2002-2006).

Coste total

€ 8 104 454,00

Aportación de la UE

€ 6 250 000,00

Coordinado por

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France

Objetivo

Through their global, uniform provision of services, and their distributed nature, global computers have the potential to profoundly enhance our daily life. However, they will not realize their full potential, unless the necessary levels of trust and security can be guaranteed. We aim to develop the technology for establishing trust and security for the next generation of global computers, using the Proof Carrying Code (PCC) paradigm.

The essential features of the \mobius security architecture will be:
- innovative trust management, dispensing with centralized trust entities, and allowing individual components to gain trust by providing verifiable certificates of their innocuousness; and
- static enforcement mechanisms, sufficiently flexible to cover the wide range of security concerns arising in global computing, and sufficiently resource-aware and configurable to be applicable to the wide range of devices in global computers; and
- support for system component downloading, for compatibility with the view of a global computer as an evolving network of autonomous, heterogeneous and extensible devices.

The PCC paradigm is known for decentralized trust management, but has generally been restricted to simple safety properties, and to monolithic, non-distributed applications. We shall pioneer the first PCC framework applicable to global computers, and the first to allow enforcement of functional properties as well as advanced security properties. We shall extend the two technologies that enable PCC- type systems and program logics-to allow enforcement of more advanced security properties, and combine them in hybrid certificates to be checked through type checking together with proof checking. To maximize the impact of our work, we will focus on Java-enabled global computers. This will also allow us to implement our security architecture and evaluate it on case studies from a range of application domains.

Programa(s)

• FP6-IST - Information Society Technologies: thematic priority under the specific programme "Integrating and strengthening the European research area" (2002-2006).

Tema(s)

Datos no disponibles

Convocatoria de propuestas

Datos no disponibles

Régimen de financiación

IP - Integrated Project

Coordinador

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

• Aportación de la UE: Sin datos
• Dirección: DOMAINE DE VOLUCEAU ; 78153 LE CHESNAY ; Francia
• Coste total: Sin datos

Participantes (19)

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

Francia

• Aportación de la UE: Sin datos
• Dirección: 3, RUE MICHEL-ANGE ; PARIS CEDEX 16
• Coste total: Sin datos

CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG

Suecia

• Aportación de la UE: Sin datos
• Dirección: GOETEBORG
• Coste total: Sin datos

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH

Suiza

• Aportación de la UE: Sin datos
• Dirección: RAEMISTRASSE 101 ; 8092 ZUERICH
• Coste total: Sin datos

FRANCE TELECOM SA

Francia

• Aportación de la UE: Sin datos
• Dirección: PLACE D'ALLERAY 6 ; 75015 PARIS
• Coste total: Sin datos

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE

Reino Unido

• Aportación de la UE: Sin datos
• Dirección: SOUTH KENSINGTON CAMPUS, EXHIBITION ROAD ; SW7 2AZ LONDON
• Coste total: Sin datos

INSTITUT NATIONAL DES SCIENCES APPLIQUEES DE RENNES

Francia

• Aportación de la UE: Sin datos
• Dirección: 20 AVENUE DES BUTTES DE COESMES ; 35043 RENNES CEDEX
• Coste total: Sin datos

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN

Alemania

• Aportación de la UE: Sin datos
• Dirección: GESCHWISTER-SCHOLL-PLATZ 1 ; 80539 MUENCHEN
• Coste total: Sin datos

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Alemania

• Aportación de la UE: Sin datos
• Dirección: TEMPLERGRABEN 55 ; 52062 AACHEN
• Coste total: Sin datos

SAP AG

Alemania

• Aportación de la UE: Sin datos
• Dirección: DIETMAR HOPP ALLEE 16 ; 69190 WALLDORF
• Coste total: Sin datos

STICHTING KATHOLIEKE UNIVERSITEIT

Países Bajos

• Aportación de la UE: Sin datos
• Dirección: GEERT GROOTEPLEIN-NOORD 9 ; 6525 EZ NIJMEGEN
• Coste total: Sin datos

TALLINNA TEHNIKAUELIKOOLI KUEBERNEETIKA INSTITUUT

Estonia

• Aportación de la UE: Sin datos
• Dirección: AKADEEMIA TEE 21 ; 12618 TALLINN
• Coste total: Sin datos

THE UNIVERSITY OF EDINBURGH

Reino Unido

• Aportación de la UE: Sin datos
• Dirección: OLD COLLEGE, SOUTH BRIDGE ; EH8 9YL EDINBURGH
• Coste total: Sin datos

TLS-TECHNOLOGIE SP. Z O.O.

Polonia

• Aportación de la UE: Sin datos
• Dirección: UL. POLNA 50 ; 00-644 WARSZAWA
• Coste total: Sin datos

TRUSTED LOGIC

Francia

• Aportación de la UE: Sin datos
• Dirección: 5, RUE DU BAILLIAGE ; 78000 VERSAILLES
• Coste total: Sin datos

UNIVERSIDAD POLITECNICA DE MADRID

España

• Aportación de la UE: Sin datos
• Dirección: AVENIDA RAMIRO DE MAEZTU 7 ; 28040 MADRID
• Coste total: Sin datos

UNIVERSITE DE RENNES I

Francia

• Aportación de la UE: Sin datos
• Dirección: RUE DU THABOR 2 ; CS 46510 RENNES CEDEX
• Coste total: Sin datos

UNIVERSITE DES SCIENCES ET TECHNOLOGIES DE LILLE - LILLE I

Francia

• Aportación de la UE: Sin datos
• Dirección: BATIMENT A3 CITE SCIENTIFIQUE ; VILLENEUVE D'ASCQ
• Coste total: Sin datos

UNIVERSITY COLLEGE DUBLIN, NATIONAL UNIVERSITY OF IRELAND, DUBLIN

Irlanda

• Aportación de la UE: Sin datos
• Dirección: BELFIELD ; DUBLIN 4
• Coste total: Sin datos

UNIWERSYTET WARSZAWSKI

Polonia

• Aportación de la UE: Sin datos
• Dirección: UL. KRAKOWSKIE PRZEDMIESCIE 26/28 ; 00-927 WARSZAWA
• Coste total: Sin datos