Mobility and Security Group

Mobile Resource Guarantees

(2002–2005)

The Mobile Resource Guarantees (MRG) project has developed the infrastructure needed to endow mobile code with independently verifiable certificates describing its resource behaviour (space, time, etc.). These certificates are condensed and formalised mathematical proofs of a resource-related property which are by their very nature self-evident and unforgeable (proof-carrying code). Arbitrarily complex methods may be used by the code producer to construct these certificates, but their verification by the code consumer will always be a simple computation. One may compare this to the verification of alleged solutions to combinatorial problems such as Rubik's cube or the travelling salesman problem.

See the project web site or the introductory flyer (PDF document) for more information.

This was a joint project with TCS, Institut für Informatik, Ludwig Maximilians Universität, München.

Mobius: Mobility, Ubiquity and Security

The Mobius project is a Europe wide project with 16 partners. 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, static enforcement mechanisms and support for system component downloading.

ReQueST: Resource Quantification in e-Science Technologies

The ReQueST project will use state-of-the art computer science technology to attach mechanically-checkable certificates of resource consumption in the form of mathematical proofs to mobile Java applications used in e-Science. We will build proof-carrying code technology into the Grid Services framework by supporting it from application code up to the service description level.

XML Security

In the Database Group.

Automated Analysis of Security Critical Systems

In the Mathematical Reasoning Group.