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
---+Press Corner In this section, you will find general presentation about MOBIUS for different audiences. %MAIL% To contact us: *[[mailto:Gilles.Barthe@NO_SPAMimdea.org][Gilles Barthe]]* _Scientific Coordinator_, <br clear="left"/> ---++Scientific community: * *An overview paper of the MOBIUS objectives:* G. Barthe, L. Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, I. Stark, and Eric Vétillard. MOBIUS: Mobility, ubiquity, security. objectives and progress report. In Trustworthy Global Computing, Lecture Notes in Computer Science. Springer-Verlag, 2006. [[http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/tgc06.pdf][%PDF%]]. * *Complete presentation of MOBIUS Tutorial:* This tutorial introduces participants to the central security architecture of Mobius as well as type systems, logics, and tools that enable static verification of Java source and bytecode:[[http://mobius.inria.fr/twiki/pub/Mobius/MobiusTutorial/mobius_tutorial_2up.pdf][%PDF%]] ---++General public: * *Main features* of the project summarized on one page datasheet [[%ATTACHURL%/datasheet.pdf][%PDF%]] * *Poster* giving an overview of the project objectives and technologies [[%ATTACHURL%/finalA2.pdf][%PDF%]] * *General presentation of MOBIUS project:* Also available on ISTweb - Emerging Technologies and Infrastructures - FET - Global Computing: [[ftp://ftp.cordis.europa.eu/pub/ist/docs/fet/fetgc-41.pdf][%PDF%]]
End of topic
Skip to action links
|
Back to top
r1.6 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Mobius
>
PressCorner
to top
Ideas, requests, problems regarding the Mobius site