D. Wessels, Squid: The Definitive Guide, 2004.

G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes et al., Aspect-oriented programming, Proceedings European Conference on Object-Oriented Programming, pp.220-242, 1997.

Y. Coady, G. Kiczales, M. Feeley, and G. Smolyn, Using AspectC to improve the modularity of path-specific customization in operating system code, Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engineering, pp.88-98, 2001.

M. Ségura-devillechaise, J. M. Menaud, and G. Muller, Web cache prefetching as an aspect, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.110-119, 2003.
DOI : 10.1145/643603.643615

I. Arce and E. Levy, An analysis of the slapper worm, IEEE Security & Privacy Magazine, vol.1, issue.1, pp.82-87, 2003.
DOI : 10.1109/MSECP.2003.1177002

. Cert-coordination and . Center, CERT Advisory CA-2001-13 Buffer Overflow in IIS Indexing Service DLL, 2001.

. Cert-coordination and . Center, Code Red Worm Exploiting Buffer Overflow in IIS Indexing Service DLL (CERT Incident Note, 2001.

. Cert-coordination and . Center, CERT Advisory CA-2003-04 MS-SQL Server Worm, 2003.

. Cert-coordination and . Center, CERT Advisory CA-2003-20 W32/Blaster worm, 2003.

O. Ruwase and M. S. Lam, A practical dynamic buffer overflow detector, Proceedings of the 11th Annual Network and Distributed System Security Symposium, Internet Society, 2004.

D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken, A first step towards automated detection of buffer overrun vulnerabilities, Network and Distributed System Security Symposium, Internet Society, pp.3-17, 2000.

C. Cowan, P. Wagle, C. Pu, S. Beattie, and J. Walpole, Buffer overflows: Attacks and defenses for the vulnerability of the decade, DARPA Information Survivability Conference and Exposition (DISCEX), pp.119-129, 2000.

J. Wilander and M. Kamkar, A comparison of publicly available tools for dynamic buffer overflow prevention, Proceedings of the 10th Network and Distributed System Security Symposium, Internet Society, pp.149-162, 2003.

D. Larochelle and D. Evans, Statically detecting likely buffer overflow vulnerabilities, Proceedings of the 10th USENIX Security Symposium, pp.177-190, 2001.

C. Cowan, C. Pu, D. Maier, J. Walpole, P. Bakke et al., Automatic adaptive detection and prevention of buffer-overflow attacks, Proc. 7th USENIX Security Conference, USENIX, pp.63-78, 1998.

T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney et al., Cyclone: A safe dialect of C, Proceedings of the USENIX Annual Technical Conference, pp.275-288, 2002.

J. Condit, M. Harren, S. Mcpeak, G. C. Necula, and W. Weimer, CCured in the real world, PLDI '03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp.232-244, 2003.

R. Jones and P. Kelly, Backwards-compatible bounds checking for arrays and pointers in C programs, Proceedings of the Third International Workshop on Automatic Debugging Linköping Electronic Articles in Computer and Information Science, pp.13-26, 1997.

A. D. Keromytis, "Patch on demand" saves even more time? [network security, Computer, vol.37, issue.8, pp.94-96, 2004.
DOI : 10.1109/MC.2004.71

M. Arlitt and T. Jin, A workload characterization study of the 1998 World Cup Web site, IEEE Network, vol.14, issue.3, pp.30-37, 2000.
DOI : 10.1109/65.844498

I. Cidon, A. Gupta, R. Rom, and C. Schuba, Hybrid TCP-UDP transport for Web traffic, 1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305), 1999.
DOI : 10.1109/PCCC.1999.749436

M. Rabinovich and H. Wang, DHTTP: an efficient and cache-friendly transfer protocol for Web traffic, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213), pp.1597-1606, 2001.
DOI : 10.1109/INFCOM.2001.916656

H. Chen and P. Mohapatra, CATP: A context-aware transportation protocol for HTTP, International Workshop on New Advances in Web Servers and Proxy Technologies Held with ICDCS, pp.922-927, 2003.

J. Postel, User datagram protocol. RFC 768, 1980.

D. Comer and D. Stevens, Internetworking with TCP/IP, Volume III ? Client-Server Programming and Applications for the BSD Socket Version. Volume III, 1993.

V. Issarny, M. Banâtre, B. Charpiot, and J. M. Menaud, Quality of Service and Electronic Newspaper: The Etel Solution, LNCS, vol.1752, pp.472-496, 2000.
DOI : 10.1007/3-540-46475-1_20
URL : https://hal.archives-ouvertes.fr/hal-00993303

K. J. Lieberherr, J. Palm, and R. Sundaram, Expressiveness and complexity of crosscut languages, 2004.

R. Douence, P. Fradet, and M. Südholt, A Framework for the Detection and Resolution of Aspect Interactions, Proceedings of the ACM SIGPLAN/SIG- SOFT Conference on Generative Programming and Component Engineering, pp.173-188, 2002.
DOI : 10.1007/3-540-45821-2_11
URL : https://hal.archives-ouvertes.fr/inria-00000950

R. Douence, P. Fradet, and M. Südholt, Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.141-150, 2004.
DOI : 10.1145/976270.976288
URL : https://hal.archives-ouvertes.fr/inria-00000946

J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. Yap, The CLP(R ) language and system, ACM Transactions on Programming Languages and Systems, vol.14, issue.3, pp.339-395, 1992.
DOI : 10.1145/129393.129398

D. A. Schmidt, Denotational semantics -A methodology for language development, 1986.

T. Fritz, An expressive aspect language with arachne. Master's thesis, Ludwig- Maiximilians, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00442180

S. Unix and U. S. , System V application binary interface intel 386 architecture processor supplement, 1994.

E. Hilsdale and J. Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.26-35, 2004.
DOI : 10.1145/976270.976276

S. Clowes and . Injectso, Modifying and spying on running processes under linux, 2001.

K. I. Chinen and S. Yamaguchi, An interactive prefetching proxy server for improvement of WWW latency, INET'97: Seventh Annual Conference of the Internet Society, 1997.

A. Rousskov and D. Wessels, High-performance benchmarking with Web Polygraph. Software Practice and Experience, pp.187-211, 2004.

O. Spinczyk, A. Gal, and W. Schröder-preikschat, AspectC++: An aspect-oriented extension to the C++ programming language, Proceedings of the Fortieth International Conference on Tools Pacific, pp.53-60, 2002.

S. Almajali and T. Elrad, Coupling availability and efficiency for aspect-oriented runtime weaving systems, DAW'05: Proceeding of the 2nd Dynamic Aspects Workshop at AOSD, pp.47-56, 2005.

M. Engel and B. Freisleben, Supporting autonomic computing functionality via dynamic operating system kernel aspects, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.51-62, 2005.
DOI : 10.1145/1052898.1052903

R. Douence, O. Motelet, and M. Südholt, A formal definition of crosscuts, Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pp.170-186, 2001.
DOI : 10.1007/3-540-45429-2_13

H. Masuhara and K. Kawauchi, Dataflow Pointcut in Aspect-Oriented Programming, APLAS'03: First Asian Symposium on Programming Languages and Systems, pp.105-121, 2003.
DOI : 10.1007/978-3-540-40018-9_8

K. De-volder, Aspect-Oriented Logic Meta Programming, Meta- Level Architectures and Reflection, 2nd International Conference on Reflection, pp.250-272, 1999.
DOI : 10.1007/3-540-48443-4_22

J. H. Andrews, Process-Algebraic Foundations of Aspect-Oriented Programming, Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pp.187-209, 2001.
DOI : 10.1007/3-540-45429-2_14

U. Aßmann and A. Ludwig, Aspect weaving with graph rewriting, GCSE: Generative Component-Based Software Engineering, pp.24-36, 1999.

?. Aberg, R. A. Lawall, J. L. Südholt, M. Muller, G. et al., On the automatic evolution of an OS kernel using temporal logic and AOP, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.196-204, 2003.
DOI : 10.1109/ASE.2003.1240307
URL : https://hal.archives-ouvertes.fr/hal-00457197

R. Douence and M. Südholt, A model and a tool for event-based aspect-oriented programming (eaop), Proc. of LMO'03, 2002.

W. Vanderperren, D. Suvee, M. A. Cibran, D. Fraine, and B. , Stateful Aspects in JAsCo, SC'05: Proc. of the 4th Int. Workshop on Software Composition, 2005.
DOI : 10.1007/11550679_13

C. Allan, P. Avgustinov, and A. S. Christensen, Adding trace matching with free variables to AspectJ, OOPSLA'05: ACM Conference on Object-Oriented Programming, Systems and Languages, 2005.

W. Aspray, John von Neumann's Contributions to Computing and Computer Science, IEEE Annals of the History of Computing, vol.11, issue.3, pp.189-195, 1989.
DOI : 10.1109/MAHC.1989.10029

C. K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser et al., Pin: Building customized program analysis tools with dynamic instrumentation, PLDI: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, pp.190-200, 2005.

J. K. Hollingsworth, B. P. Miller, M. J. Goncalves, O. Naim, Z. Xu et al., MDL: a language and compiler for dynamic program instrumentation, Proceedings 1997 International Conference on Parallel Architectures and Compilation Techniques, pp.201-213, 1997.
DOI : 10.1109/PACT.1997.644016

S. Chiba, Load-Time Structural Reflection in Java, pp.313-336, 2000.
DOI : 10.1007/3-540-45102-1_16

R. Pawlak, L. Seinturier, L. Duchien, and G. Florin, JAC: A Flexible Solution for Aspect-Oriented Programming in Java, Proceedings of Reflection'01, pp.1-24, 2001.
DOI : 10.1007/3-540-45429-2_1

A. Popovici, G. Alonso, and G. T. , Just-in-time aspects, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.100-109, 2003.
DOI : 10.1145/643603.643614

S. Chiba, K. Nakagawa, and . Josh, An open AspectJ-like language, AOSD: Proceedings of the Third International Conference on Aspect-Oriented Software Development, ACM, pp.102-111, 2004.

D. Suvée, W. Vanderperren, and J. V. Jasco, An aspect-oriented approach tailored for component-based software development, AOSD'03: Proc. of 2nd International Conference on Aspect-Oriented Software Development, pp.21-29, 2003.

C. Bockisch, M. Haupt, M. Mezini, and K. Ostermann, Virtual machine support for dynamic join points, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.83-92, 2004.
DOI : 10.1145/976270.976282