| Título: | Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA |
| Autores: |
Matos, Alexandre Veloso de Gonçalves Riso, Bernardo Notare, Mirela Sechi Moretti Anonni |
| Fecha: |
2012-11-21 1998-10 1998-11 |
| Publicador: | Unversidad Nacional de La Plata |
| Fuente: |
 |
| Tipo: |
Objeto de conferencia Objeto de conferencia |
| Tema: |
LOTOS java carregador de applets Security and Protection Distributed systems PROGRAMMING LANGUAGES Ciencias Informáticas Informática |
| Descripción: |
Apesar de possuir características que a tornam mais flexível que outras linguagens de programação, existem fragilidades que podem facilitar a construção de ataques usando a linguagem Java.
Um componente de extrema importância, no Modelo de Segurança da plataforma Java é o Carregador de Applets, responsável, entre outras ações, pela associação dinâmica de uma classe remota (inclusa em alguma applet) e seu respectivo código. A adição de classes a um ambiente de execução Java pode ser danosa quando se tratar, por exemplo, de uma applet com intenções maliciosas. Neste caso, a possibilidade de existirem classes com métodos perigosos que podem, por exemplo, sobreporse à definição original de classes predefinidas, pode ser impedida pelo trabalho do Carregador de Classes (CCA).
Neste trabalho, a Técnica de Descrição Formal LOTOS e a ferramenta Eucalyptus são usadas com a intenção de testar e validar a implementação de uma extensão à especificação original do Carregador de Applets. Abaixo é apresentado a especificação da proposta utilizandose LOTOS. Sistemas Distribuidos - Redes Concurrencia - Sesión de pósters |
| Idioma: | Portugués |
1 Ajuste de las variables que gobiernan los modelos de comportamiento de HDM-4 para vías no pavimentadas de la región de Antofagasta (Chile) por Rojas Cazaluade, Oscar Orlando | 6 Alternativas para el fraccionamiento de un Parque Industrial por Borrego, Juan Antonio |
2 La Agrimensura como base de investigaciones arqueológicas por Alfageme, Marcelo O.,Papagni, Jorge H. | 7 La propiedad horizontal por López, María Inés |
3 Anteproyecto de saneamiento y loteo por Antolín, Ricardo Gabriel,Williams, Enrique Oliver | 8 Laguna "San Antonio" por Milone, Ricardo Raúl |
4 Balneario Municipal de la ciudad de Diamante por Battistessa, Gustavo J.,Palomeque, José F. | 9 Estudio catastral de tierras en el partido de San Fernando por Miquelarena, Carlos Alberto |
5 | 10 |