Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA
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, re...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Portugués |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24564 |
| Aporte de: |
| id |
I19-R120-10915-24564 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Portugués |
| topic |
Ciencias Informáticas Informática Security and Protection Distributed systems PROGRAMMING LANGUAGES LOTOS java carregador de applets |
| spellingShingle |
Ciencias Informáticas Informática Security and Protection Distributed systems PROGRAMMING LANGUAGES LOTOS java carregador de applets Matos, Alexandre Veloso de Gonçalves Riso, Bernardo Notare, Mirela Sechi Moretti Anonni Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA |
| topic_facet |
Ciencias Informáticas Informática Security and Protection Distributed systems PROGRAMMING LANGUAGES LOTOS java carregador de applets |
| description |
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. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Matos, Alexandre Veloso de Gonçalves Riso, Bernardo Notare, Mirela Sechi Moretti Anonni |
| author_facet |
Matos, Alexandre Veloso de Gonçalves Riso, Bernardo Notare, Mirela Sechi Moretti Anonni |
| author_sort |
Matos, Alexandre Veloso de |
| title |
Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA |
| title_short |
Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA |
| title_full |
Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA |
| title_fullStr |
Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA |
| title_full_unstemmed |
Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA |
| title_sort |
uso de lotos na gerência de segurança de aplicações distribuídas em java |
| publishDate |
1998 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24564 |
| work_keys_str_mv |
AT matosalexandrevelosode usodelotosnagerenciadesegurancadeaplicacoesdistribuidasemjava AT goncalvesrisobernardo usodelotosnagerenciadesegurancadeaplicacoesdistribuidasemjava AT notaremirelasechimorettianonni usodelotosnagerenciadesegurancadeaplicacoesdistribuidasemjava |
| bdutipo_str |
Repositorios |
| _version_ |
1764820466239799298 |