No description available.

Se especificará formalmente un modelo de seguridad multi-nivel, más concretamente, el modelo Bell-LaPadula, en el contexto de un módulo de control de acceso para un servidor de aplicaciones. Se implementará, además, un mecanismo de control de acceso discrecionario basado en Listas de Control de Acceso (ACL). El objetivo de la especificación es la posterior prueba formal de algunas propiedades de seguridad del módulo. La especificación se escribirá en Z, y para las pruebas se utilizará el asistente de pruebas Z/EVES 2.1. Con éste se verificarán algunas propiedades de la especificación, y en particular se probará que una de las operaciones del módulo preserva las propiedades de seguridad deseadas.

No description available.

No description available.

Sumario: 1- Introducción 2- Aplicaciones colaborativas sincrónicas 3- Arquitecturas 4- Casos de estudio: Frameworks y arquitecturas 5- Modelo de arquitectura propuesto 6- Comentarios finales Apéndice A: Patrón Model View Controller (MVC) Apéndice B: UML Apéndice C: Frameworks

Sumario: 1- Introducción 2- Sistemas móviles y sensibles al contexto 3- E-commerce y M-commerce 4- Hipermedia e hipermedia física 5- Descripción del sistema basado en hipermedia física 6- Diseño 7- Implementación 8- Conclusiones y trabajo futuro Ap. A- Map Object-Java Ap. B- Bluetooth Ap. C- Java 2 Micro Edition (J2ME) Ap. D- General Packet Radio Service (GPRS).

La falta de asistencia en el diseño de integraciones de servicios groupware, ejemplos y arquitecturas que sirvan de guía y ayuden a realizar integraciones efectivas, conlleva a que cada vez que alguien necesite realizar una integración, la misma se lleve a cabo desde cero. Con lo cual los problemas que ya fueron resueltos por otras personas previamente se vuelvan a resolver desde cero una y otra vez. Una forma de abstraerse de los problemas inherentes de los diseños orientados a la implementación, es la utilización de patrones de diseño de software. Los mismos documentan soluciones ya probadas por medio de arquitecturas mínimas que luego pueden ser implementadas por medio de las tecnologías que se seleccionen. El objetivo de esta tesis es el estudio de los servicios groupware existentes, el desarrollo y la compilación de un catálogo de patrones de servicios groupware y de patrones de integración de servicios groupware.

Sumario: 1- Introducción 2- Motivación 3- Análisis detallado de requerimientos 4- Trabajo relacionado 5- Conceptualización 6- Diseño 7- Implementación 8- Conclusiones A- JDK ver. 1.4.1 rev. 1 B- Apache Tomcat C- Jive Messenger ver. 1.0.8 D- Configuración de Jive Messager 1.0.8 E- Configuración del cliente.

Sumario: 1- Introducción 2- Fundamentos de context-awareness 3- Estado del arte 4- Diseño de aplicaciones location-aware 5- Una arquitectura para sistemas context-aware 6- Conclusiones y trabajo futuro A- Modelos de posicionamiento B- Distribución de objetos C- Mecanismos de sensado

Sumario: 1- Evolución del desarrollo de las aplicaciones Web 2- Arquitectura MVC para la web 3- ASP.NET 4- WMVC Framework 5- Funcionamiento detallado del WMVC Framework 6- Framework Core 7- La biblioteca de Controles 8- Herramientas que complementan al WMVC Framework 9- Conclusión y trabajo futuro Referencias Apéndice A: Configuración del WMVC Framework.