investigaciones-5

Vista previa del material en texto

La investigación se centra en el desarrollo de lenguajes de programación con un enfoque 
específico en la seguridad del software. A medida que las amenazas cibernéticas continúan 
evolucionando, la necesidad de mitigar vulnerabilidades desde el nivel del lenguaje de 
programación se vuelve crucial. 
 
1. Diseño Seguro desde la Base: 
 Se examina cómo los lenguajes de programación orientados a la seguridad se esfuerzan 
por incorporar características que promueven un diseño seguro desde la base. Se analizan 
conceptos como la gestión segura de la memoria, la prevención de desbordamientos de 
búfer y la mitigación de riesgos comunes de seguridad. 
 
2. Tipos de Datos Seguros: 
 La investigación explora cómo estos lenguajes buscan implementar tipos de datos 
seguros que ayudan a prevenir vulnerabilidades como inyecciones de código y ataques de 
tipo. Se destacan lenguajes que incorporan sistemas de tipos fuertes y estáticos para 
mejorar la seguridad. 
 
3. Prevención de Errores Comunes: 
 Se aborda cómo los lenguajes orientados a la seguridad buscan prevenir errores comunes 
que podrían conducir a vulnerabilidades de seguridad, como el uso de variables no 
inicializadas o el acceso a memoria no autorizada. Se destacan técnicas de programación 
segura y análisis estático de código. 
 
4. Herramientas de Análisis y Seguridad: 
 La investigación examina las herramientas y prácticas asociadas con el análisis estático y 
dinámico de código para identificar posibles vulnerabilidades. Se exploran herramientas 
específicas y cómo contribuyen a mejorar la seguridad del software desarrollado en estos 
lenguajes. 
 
5. Adopción y Desafíos: 
 Se analiza la adopción de lenguajes orientados a la seguridad en la industria del 
desarrollo de software, así como los desafíos asociados con su implementación. Se aborda 
la necesidad de conciliar seguridad con eficiencia y facilidad de desarrollo.