Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Authentication techniques for a large-scale network are essential for the booming applications of e-commerce and e-business. In this thesis, authentication techniques for a larger-scale network are discussed. In-deep discussions on the independent path technique are presented. An authentication protocol based…

In the context of an object-oriented programming language such as Java, the ubiquitous use of instance fields and the presence of pointers (references to objects) make it difficult to understand a program's memory usage. Understanding memory usage is a key…

El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

El desarrollo de Sistemas Multi-agente es un problema complejo, su resolución generalmente involucra el análisis de problemas típicos de sistemas distribuidos, con entidades (agentes) que negocian, tienen la capacidad de aprendizaje, etc. Las soluciones existentes van desde desarrollos de cero…

This paper presents a laboratory session of an advanced programming course to introduce students to the technology involved with the Java programming language. In this special lab session the educational software tool VisualJVM is used, providing a graphical front-end to…

Mobile agents are often described as a promising technology moving towards the vision of a widely distributed scalable electronic market. The deployment of electronic services, especially in the area of electronic commerce, raises essential questions closely related to security issues.…

Virtual method calls are a fundamental feature offered by Java, an object-oriented programming language. However, they are also a source of degradation of performance at run time and imprecision in interprocedural analyses. There are several well known, inexpensive analyses that…

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…