C. Rippert, Protection in flexible operating system architectures, ACM SIGOPS Operating Systems Review, vol.37, issue.4, pp.8-18, 2003.
DOI : 10.1145/958965.958966
URL : https://hal.archives-ouvertes.fr/hal-00283925

C. Rippert and J. Stefani, THINK, Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC , EW10
DOI : 10.1145/1133373.1133424
URL : https://hal.archives-ouvertes.fr/hal-00308882

C. Rippert and J. Stefani, Building secure embedded kernels with the Think architecture In Proceedings of the workshop on Engineering Context-aware Object-Oriented Systems and Environments, in association with OOPSLA, 2002.

C. Rippert, Component isolation in the Think architecture, Proceedings of the 7th CaberNet Radicals workshop, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00310148

C. Rippert and J. Stefani, Protection in the Think exokernel, Proceedings of the 4th European Research Seminar on Advances in Distributed Systems, Bertinoro (Italy), p.140, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00308882

C. Rippert and D. Hagimont, An evaluation of the Java Card environment, Proceedings of the Advanced Topic Workshop Middleware for Mobile Computing, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00308880

C. Rippert and J. Stefani, ´ Eléments de sécurité dans l'architecture de systèmes répartis THINK, Proceedings of ASF 2002, Journées francophones des jeunes chercheurs en systèmes d'exploitation, pp.10-13, 2002.

. Bibliographie-[-abb-+-86-]-m, R. Acetta, W. Baron, D. Bolosky, R. Golub et al., Mach : A new kernel foundation for Unix development, Proceedings of the Summer USENIX 1986 Technical Conference, 1986.

T. [. Bershad, E. Anderson, H. Lazowska, and . Levy, Lightweight Remote Procedure Call, Proceedings of the 12th ACM Symposium on Operating Systems Principles, 1989.

. N. Bce-+-94-]-b, C. Bershad, S. J. Chambers, C. Eggers, D. Maeda et al., SPIN ? An Extensible Microkernel for Application-specific Operating System Services, Proceedings of the 6th ACM SIGOPS European Workshop, 1994.

L. [. Bell and . Lapadula, Secure computer systems : Mathematical foundations and model, 1973.

. N. Bsp-+-95-]-b, S. Bershad, P. Savage, E. G. Pardyak, M. E. Sirer et al., Extensibility safety and performance in the SPIN operating system, Proceedings of the 15th ACM symposium on Operating Systems Principles, 1995.

]. K. Ca98 and . Calvert, Architectural Framework for Active Networks. AN Architecture Working Group, 1998.

G. [. Clarke and . Coulson, An architecture for dynamically extensible operating systems, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), 1998.
DOI : 10.1109/CDS.1998.675768

D. [. Cohen and . Jefferson, Protection in the Hydra Operating System, Proceedings of the 5th ACM Symposium on Operating Systems Principles, 1975.

V. [. Corbató and . Vyssotsky, Introduction and overview of the multics system, Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I on XX, AFIPS '65 (Fall, part I), 1965.
DOI : 10.1145/1463891.1463912

]. Dar81a and . Darpa, Request for comments : 792, Network Working Group, 1981.

]. Dar81b and . Darpa, Transmission Control Protocol Request for comments : 793, Network Working Group, 1981.

]. Dar81c, . Extensions, and . Transactions, Request for comments : 793, Network Working Group, 1981.

P. Deransart, A. Ed-dbali, and L. Cervoni, Prolog : The Standard, 1996.
DOI : 10.1007/978-3-642-61411-8

. M. Dpp-+-97-]-s, R. Dorward, D. L. Pike, D. M. Presotto, and H. W. Ritchie, Trickey, and Ph. Winterbottom. The Inferno Operating System, 1997.

E. [. Dennis and . Van-horn, Programming Semantics For Multiprogrammed Computations, 1966.

M. [. Engler and . Kaashoek, Exterminate all operating system abstractions, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V), 1995.
DOI : 10.1109/HOTOS.1995.513459

M. [. Engler, J. O. Kasshoek, and . Toole, Exokernel : An Operating System Architecture for Application-Level Resource Management, Proceedings of the 15th ACM Symposium on Operating Systems Principles, 1995.

]. Fas01 and . Fassino, THINK : vers une architecture de systèmes flexibles, Thèse de Doctorat. ´ Ecole Nationale Supérieure des Télécommunications, 2001.

]. B. Fbb-+-97, G. Ford, G. Back, J. Benson, A. Lepreau et al., The Flux OSKit : A Substrate for Kernel and Language Research, Proceedings of the 16th Symposium on Operating Systems Principles, 1997.

J. Fassino, J. Stefani, J. Lawall, and G. Muller, THINK : A Software Framework for Component-based Operating System Kernels, Proceedings of the Usenix Annual Technical Conference, 2002.

]. M. Gie90 and . Gien, Micro-kernel Architecture : Key to Modern Operating Systems Design, 1990.

]. R. Gra67 and . Graham, Protection in an Information Processing Utility, Proceedings of the 1st ACM Symposium on Operating Systems Principles, 1967.

. Gsb-+-99-]-e, . Gabber, . Ch, J. Small, J. Bruno et al., The Pebble Component-Based Operating System, Proceedings of the USENIX Annual Technical Conference, 1999.

]. D. Hag98 and . Hagimont, AccèsAccèsà l'information répartie : adressage et protection, Habilitationàtationà Diriger des Recherches, 1998.

]. S. Har92 and . Harbison, Modula-3, 1992.

A. [. Helander and . Forin, MMLite, Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications , EW 8, 1998.
DOI : 10.1145/319195.319210

]. D. Hil92 and . Hildebrand, An Architectural Overview of QNX, Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, 1992.

A. [. Hicks and . Keromytis, A Secure PLAN, Proceedings of the First International Working Conference on Active Networks, 1999.

. D. Ch and . Jensen, Un modèle de contrôle d'accès générique et sa réalisation dans la mémoire virtuelle répartie unique Arias, Thèse de Doctorat. Université Joseph Fourier ? Grenoble 1, 1999.

R. [. Karger and . Schell, MULTICS Security Evaluation : Vulnerability Analysis Electronic Systems Division -Air Force Safety Center, 1974.

R. [. Karger and . Schell, Thirty years later: lessons from the Multics security evaluation, 18th Annual Computer Security Applications Conference, 2002. Proceedings., 2002.
DOI : 10.1109/CSAC.2002.1176285

]. B. Lam71 and . Lampson, Protection, Proceedings of the 5th Princeton Conference on Information Sciences and Systems, 1971.

]. R. Lcc-+-75, E. Levin, W. Cohen, F. Corwin, W. Pollack et al., Policy/mechanism separation in Hydra, Proceedings of the 5th ACM Symposium on Operating Systems Principles, 1975.

]. J. Lie96 and . Liedtke, Toward Real Microkernels, Communications of the ACM, vol.39, issue.9, pp.70-77, 1996.

. M. Lmb-+-96-]-i, D. Leslie, R. Mcauley, T. Black, P. T. Roscoe et al., The Design and Implementation of an Operating System to Support Distributed Multimedia Applications, IEEE Journal of Selected Areas in Communications, issue.7, pp.141280-1297, 1996.

E. Lupu, D. Marriott, M. Sloman, and N. Yialelis, A policy based role framework for access control, Proceedings of the first ACM Workshop on Role-based access control , RBAC '95, 1995.
DOI : 10.1145/270152.270171

J. [. Leonard, E. Nieh, J. Zadok, and . Osborn, The Design and Implementation of Elastic Quotas : A System for Flexible File System Management, 2002.

F. [. Lindholm and . Yellin, The Java Virtual Machine Specification, 1999.

R. [. Mauro and . Mcdougall, Solaris Internals : Core Kernel Architecture, 2000.

L. [. Mosberger and . Peterson, Making paths explicit in the Scout operating system, Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, 1996.

G. [. Margaritidis and . Polyzos, MobiWeb: enabling adaptive continuous media applications over 3G wireless links, Proceedings of the IEEE International Conference on Third Generation Wireless Communications, 2000.
DOI : 10.1109/98.892257

M. [. Moffett and . Sloman, Policy hierarchies for distributed systems management, IEEE Journal on Selected Areas in Communications, vol.11, issue.9, pp.1404-1414, 1993.
DOI : 10.1109/49.257932

. J. Mvrt-+-90-]-s, G. Mullender, A. S. Van-rossum, R. Tanenbaum, H. Van-renesse et al., Amoeba : A Distributed Operating System for the 1990s, IEEE Computer, vol.23, issue.5, pp.44-53, 1990.

T. [. Olawsky, E. Fine, R. Schneider, and . Spencer, Developing and using a ???policy neutral??? access control policy, Proceedings of the 1996 workshop on New security paradigms , NSPW '96, 1996.
DOI : 10.1145/304851.304866

J. [. Postel and . Reynolds, File Transfer Protocol (FTP) Request for comments : 959, Network Working Group, 1985.

M. A. Reid, L. Flatt, J. Stoller, E. Lepreau, and . Eide, Knit : Component Composition for Systems Software, Proceedings of the 4th Symposium on Operating Systems Design and Implementation, 2000.

K. [. Ritchie and . Thompson, The UNIX time-sharing system, Communications of the ACM, vol.17, issue.7, pp.365-375, 1974.
DOI : 10.1145/361011.361061

]. J. Sal74 and . Saltzer, Protection and the Control of Information Sharing in Multics, Communication of the ACM, vol.17, issue.7, 1974.

]. A. Sen03 and . Senart, Canevas logiciel pour la construction de noyaux de systèmes d'exploitations dynamiquement adaptables, Thèse de Doctorat. Institut National Polytechnique de Grenoble, 2003.

Y. [. Seltzer, C. Endo, K. A. Small, and . Smith, Dealing with Disaster : Surviving Misbehaved Kernel Extensions, Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, 1996.

]. M. Slo94 and . Sloman, Policy Driven Management For Distributed Systems, pp.333-360, 1994.

L. [. Spatscheck and . Peterson, Defending Against Denial of Service Attacks in Scout, Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, 1999.

H. [. Sisalem and . Schulzrinne, The loss-delay adjustment algorithm : a TCP-friendly adaptation scheme, 1998.

. A. Vdkv00, P. Van-deursen, J. Klint, and . Visser, Domain-Specific Languages ? An Annotated Bibliography, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.

. C. Vh96-]-a, N. Veitch, and . Hutchinson, Kea ? A Dynamically Extensible and Configurable Operating System Kernel, Proceedings of the 3rd International Conference on Configurable Distributed Systems, 1996.

S. [. Wahbe, T. E. Lucco, S. L. Anderson, and . Graham, Efficient software-based fault isolation, ACM SIGOPS Operating Systems Review, vol.27, issue.5, pp.203-216, 1993.
DOI : 10.1145/173668.168635

R. [. Wulf, C. Levin, and . Pierson, Overview of the Hydra Operating System development, Proceedings of the 5th ACM Symposium on Operating Systems Principles, 1975.

]. Zim95, . R. Ph, and . Zimmermann, PGP : Source Code and Internals, 1995.