Auditoría de software orientada a compiladores : caso de estudio: Solidity
Con el advenimiento de nuevas tecnologías y la necesidad constante de seguir desarrollando software debido a las demandas del mercado, es inevitable depender cada vez de más herramientas externas para mantenerse al día. Pero realmente quienes desarrollan, ¿entienden la gravedad que posee cada vez de...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo revista |
| Lenguaje: | Español |
| Publicado: |
Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas
2019
|
| Materias: | |
| Acceso en línea: | Ré Medina, M. A. (2019). Auditoría de software orientada a compiladores : caso de estudio: Solidity [Tesis de grado]. Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina. |
| Aporte de: |
| id |
I21-R190-123456789-3051 |
|---|---|
| record_format |
ojs |
| institution |
Universidad Nacional del Centro |
| institution_str |
I-21 |
| repository_str |
R-190 |
| container_title_str |
Repositorio Institucional de Acceso Abierto (RIDAA) |
| language |
Español |
| format |
Artículo revista |
| topic |
Tecnología de la información Seguridad informática Seguridad de software Auditoría de software Solidity Lenguaje de programación Ingeniería de sistemas Software orientada a compiladores Compiladores |
| spellingShingle |
Tecnología de la información Seguridad informática Seguridad de software Auditoría de software Solidity Lenguaje de programación Ingeniería de sistemas Software orientada a compiladores Compiladores Ré Medina, Matías Ariel Auditoría de software orientada a compiladores : caso de estudio: Solidity |
| topic_facet |
Tecnología de la información Seguridad informática Seguridad de software Auditoría de software Solidity Lenguaje de programación Ingeniería de sistemas Software orientada a compiladores Compiladores |
| author |
Ré Medina, Matías Ariel |
| author_facet |
Ré Medina, Matías Ariel |
| author_sort |
Ré Medina, Matías Ariel |
| title |
Auditoría de software orientada a compiladores : caso de estudio: Solidity |
| title_short |
Auditoría de software orientada a compiladores : caso de estudio: Solidity |
| title_full |
Auditoría de software orientada a compiladores : caso de estudio: Solidity |
| title_fullStr |
Auditoría de software orientada a compiladores : caso de estudio: Solidity |
| title_full_unstemmed |
Auditoría de software orientada a compiladores : caso de estudio: Solidity |
| title_sort |
auditoría de software orientada a compiladores : caso de estudio: solidity |
| description |
Con el advenimiento de nuevas tecnologías y la necesidad constante de seguir desarrollando software debido a las demandas del mercado, es inevitable depender cada vez de más herramientas externas para mantenerse al día. Pero realmente quienes desarrollan, ¿entienden la gravedad que posee cada vez depender más, ciegamente, de otras tecnologías para crear nuevas? Con tanto acoplamiento, sólo basta que un eslabón de la cadena sea inseguro para que todo el desarrollo también lo sea. Debido a que el compilador es el único software que tiene la posibilidad de mirar (casi) todas las líneas de un software, el enfoque que propone esta tesis parte de una observación a la responsabilidad que se deposita del lado del lenguaje en el que programan desarrolladores, sin preguntarse si lo que están compilando introduce posibles problemáticas. El documento de tesis comprende una puesta al día de las técnicas disponibles para realizar auditorías de sistemas de software en general y en particular de aquellas utilizables en el análisis de compiladores. Asimismo, se presenta el trabajo de auditoria sobre el lenguaje de programación Solidity y su compilador solo. Este comprende en detalle tanto los procesos como las herramientas utilizadas para la auditoria. El ´ lenguaje Solidity se encuentra dentro de aquellos lenguajes orientados al manejo de Smart Contracts y su importancia es crítica debido a que deben poseer una ejecución verificable y observable. Algunas de las aplicaciones de los Smart Contracts son en el campo de las finanzas, los seguros y contratos en general. Se presentan además algunas soluciones y tecnologías existentes que pueden ser aplicadas a la auditoria de compiladores, luego se propone una metodología específica para la auditoría objeto de esta tesis y finalmente se presentan los resultados obtenidos desde el punto de vista del cliente interesado en esta auditoría, junto con las conclusiones, y posibles extensiones de este trabajo. |
| publisher |
Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas |
| publishDate |
2019 |
| url |
Ré Medina, M. A. (2019). Auditoría de software orientada a compiladores : caso de estudio: Solidity [Tesis de grado]. Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina. |
| work_keys_str_mv |
AT remedinamatiasariel auditoriadesoftwareorientadaacompiladorescasodeestudiosolidity |
| first_indexed |
2022-07-04T14:25:30Z |
| last_indexed |
2022-07-04T14:25:30Z |
| bdutipo_str |
Revistas |
| _version_ |
1764819787066638339 |