these doctorat une architecture de securité

Bibliographie
tel-00239252, version 1 - 5 Feb 2008
[1] C. Adams. The Simple Public-Key GSS-API Mechanism (SPKM), October 1996. RFC 2025.
[2] Ameneh Alireza, Ulrich Lang, Marios Padelis, Rudolf Schreiner, and Markus Schumacher.
The challenges of corba security. In Workshop Sicherheit in Mediendaten, Gesellschaft für
Informatik (GI), pages 61–72, September 2000.
[3] Isabelle Attali, Denis Caromel, and Arnaud Contes. Hierarchical and Declarative Security
for Grid Applications. In Proceedings of the International Conference On High Performance
Computing, Hyderabad, India, December 2003. Springer Verlag.
[4] Isabelle Attali, Denis Caromel, and Arnaud Contes. Une architecture de sécurité déclarative
et hiérarchique pour les grilles de calcul. In INRIA, editor, 2ème rencontre francophone
sur le thème Sécurité et Architecture Réseau, pages 203–212, Nancy, France, July 2003.
[5] Isabelle Attali, Denis Caromel, and Arnaud Contes. Deployment-Based Security for Grid
Applications. In The International Conference on Computational Science (ICCS 2005), Atlanta,
USA, May 22-25, LNCS. Springer Verlag, 2005.
[6] Laurent Baduel, Françoise Baude, and Denis Caromel. Object-Oriented SPMD with Active
Object. In Proceedings of Cluster Computing and Grid, Cardiff, United Kingdom, May
2005.
[7] Laurent Baduel, Françoise Baude, Denis Caromel, Arnaud Contes, Fabrice Huet, Matthieu
Morel, and Romain Quilici. Components for numerical GRIDs. Invited paper in European
Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS,
July 2004.
[8] Laurent Baduel, Françoise Baude, Denis Caromel, Arnaud Contes, Fabrice Huet, Matthieu
Morel, and Romain Quilici. Grid Computing : Software Environments and Tools, chapter
Programming, Deploying, Composing, for the Grid. Springer-Verlag, 2004.
[9] David Basin, Frank Rittinger, and Luca Viganò. A formal analysis of the corba security
service. In Didier Bert, Jonathan P. Bowen, Martin C. Henson, and Ken Robinson, editors,
ZB 2002 : Formal Specification and Development in Z and B, volume 2272 of Lecture Notes
in Computer Science, pages 330–349. Springer-Verlag, Heidelberg, 2002.
[10] Françoise Baude, Denis Caromel, Lionel Mestre, Fabrice Huet, and Julien Vayssière. Interactive
and descriptor-based deployment of object-oriented grid applications. In Proceedings
of the 11th IEEE International Symposium on High Performance Distributed Computing,
pages 93–102, Edinburgh, Scotland, July 2002. IEEE Computer Society.
[11] Francoise Baude, Denis Caromel, Christian Delbé, and Ludovic Henrio. A hybrid message
logging-cic protocol for constrained checkpointability. In Proceedings of EuroPar2005,
August-September 2005. to appear.
[12] Francoise Baude, Denis Caromel, and Matthieu Morel. From distributed objects to hierarchical
grid components. In International Symposium on Distributed Objects and Applications
(DOA), Catania, Sicily, Italy, 3-7 November, Springer Verlag, 2003. Lecture Notes in
Computer Science, LNCS.
[13] D. E. Bell and L. J. LaPadula. Secure computer system : Unified exposition and multics
interpretation. Technical Report MTR-2997, The MITRE Corporation, March 1976.
[14] John K. Bennett. The design and implementation of distributed smalltalk. ACM SIGPLAN
Notices, 22(12) :318–330, 1987.
3