Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
%TABLE{ sort="off" tableborder="0" cellpadding="1" dataalign="left" cellspacing="0" headerbg="#ffffff" headercolor="#ffffff" databg="#ffffff"}% | <img src="%ATTACHURLPATH%/mobius_logo.gif" alt="mobius_logo.gif" width="140" height="120" /> <img src="%ATTACHURLPATH%/mobius_name.gif" alt="mobius_name.gif" width="300" height="120" />| <h1> %MOBIUS% Mobility, Ubiquity and Security %ENDCOLOR% </h1> ---++++ Enabling proof-carrying code for Java on mobile devices Mobius is a European Integrated Project developing novel technologies for trustworthy global computing, using _proof-carrying code_ to give users independent guarantees of the safety and security of [[http://java.sun.com/][Java]] applications for their mobile phones and PDAs. Global computing means that applications today may run anywhere, with data and code moving freely between servers, PCs and other devices: this kind of mobility over the ubiquitous internet magnifies the challenge of making sure that such software runs safely and reliably. In this context, the Mobius project focuses on securing applications downloaded to the [[http://developers.sun.com/mobility/midp/][Java MIDP platform]]: globally deployed across a host of phones, this is the common runtime environment for a myriad mobile applications. Techniques of _static analysis_ make it possible to check program behaviour by analysing source code before it ever executes. But mobile code means that this assurance must somehow travel with the application to reach the user. Conventional digital signatures use cryptography to identify who supplied a program; the breakthrough of _[[ProofCarryingCode][proof-carrying code]]_ is to give mathematical proofs that guarantee the security of the code itself. We can strengthen digital signatures with digital evidence. Key features of the Mobius security architecture are: * *Innovative trust management*, with digital evidence of program behaviour that can be independently checked by users or any third party. * *Static enforcement*, checking code before it starts; adaptable to manage a range of user security concerns, and configurable to match the real-world mix of mobile platforms. * *Modularity*, allowing developers to build up trusted applications from trusted components. %NEWWIN{http://www.youtube.com/watch?v=4AYiwo4NQtE, <img src="%ATTACHURLPATH%/demo.jpg" alt="demo on youtube" border="0"/>}% <br> <table width=60%> <tr><td width=79%> %MAIL% To contact us: *[[mailto:Gilles.Barthe@imdea.org][Gilles Barthe]]* _Scientific Coordinator_ <br clear="left"/> </td> </table> <!-- %PURPLE%...to learn more about MOBIUS [[MobiusDescription][Objectives]], [[Members.WebHome][Partners]], [[WorkPackage.WebHome][Workpackages]], [[Eup.WebHome][End User Panel]], [[Publications.WebHome][Publications]], [[Links.WebHome][Links to Related projects]] [[Events.WebHome][Events]], [[News.WebHome][News]] %ENDCOLOR% --> --------- <table> <td> _%BLUE%Mobius is an Integrated Project launched under the *%NEWWIN{http://www.cordis.lu/ist/fet/gc.htm,%BLUE%FET Global Computing Proactive Initiative%ENDCOLOR%}%*. The Mobius project is supported by te *%NEWWIN{http://europa.eu, European Commission}%* through the 6th Framework program. The project started on 1st September 2005 and lasts for 48 months. %ENDCOLOR%_ </td> -----
End of topic
Skip to action links
|
Back to top
r1.79 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Mobius
>
WebHome
to top
Ideas, requests, problems regarding the Mobius site