Chapitre A. Grammaire <strong>de</strong> la politique <strong>de</strong> sécurité "" | # Query & Reply "" | "
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 Pa<strong>de</strong>lis, 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, Hy<strong>de</strong>rabad, India, December 2003. Springer Verlag. [4] Isabelle Attali, Denis Caromel, and Arnaud Contes. Une <strong>architecture</strong> <strong>de</strong> sécurité déclarative et hiérarchique pour les grilles <strong>de</strong> 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 Bau<strong>de</strong>, 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 Bau<strong>de</strong>, 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 Bau<strong>de</strong>, 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, Hei<strong>de</strong>lberg, 2002. [10] Françoise Bau<strong>de</strong>, Denis Caromel, Lionel Mestre, Fabrice Huet, and Julien Vayssière. Interactive and <strong>de</strong>scriptor-based <strong>de</strong>ployment 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 Bau<strong>de</strong>, 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 Bau<strong>de</strong>, 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 <strong>de</strong>sign and implementation of distributed smalltalk. ACM SIGPLAN Notices, 22(12) :318–330, 1987. 3