Modelo no determinista para la auto-verificación de integridad de componentes de software

摘要: Las perdidas monetarias por concepto de pirateria software alcanzan en la actualidad cifras millonarias. Por solo citar un ejemplo, el 2011 valor comercial este ascendio a 63 billones dolares, con incremento 4.2 respecto al ano anterior. En ambito, comercializado es sometido ataques y como resultado, usuarios ilegitimos pueden hacer uso del mismo. Una via para mitigar problema desde punto vista tecnologico, empleo tecnicas proteccion software, entre las que se encuentran ofuscacion, cifrado, marcas agua auto-verificacion integridad, otros. Dichas no son totalmente efectivas, debido principalmente ejecucion realiza una arquitectura insegura, sobre atacante tiene control total. La presente tesis centra dirigidas integridad ambientes inseguros, especificamente tecnica ofrece resistencia ante dinamicos. Una limitante esta si sola puede garantizar su privacidad, lo necesario combinarla otras lograr dicho fin. Varias propuestas estan complementar ofuscacion estructurales. Sin embargo, esto suficiente ofrecer alta dinamicos, ademas incorporar funcional. En contexto, propone modelo determinista verificacion componentes software. El basa red auto-verificacion, constituida componente deteccion respuesta. Ambos tienen comportamiento determinista, tanto detecciones respuestas ejecutan cierta probabilidad. Igualmente, carencia estrategias consensuadas estimacion grado ofrecen estos mecanismos, ha optado proponer novedoso evaluacion. combina Arbol Ataque aspectos Teoria Informacion, forma estrategia escalable mismo tiempo cuenta determinismo red. Por ultimo, tercera contribucion significativa trabajo, han establecido directrices establecimiento Infraestructura Proteccion Software (SPI). Dada complejidad coste asociado incorporacion mecanismo proceso desarrollo SPI permite simplificar abaratar integracion mediante aplicacion automatizada mismas durante compilacion software. La implementacion basica, permitio generar prototipo prueba realizar conjunto evaluaciones experimentales aplicando ello evaluacion propuesto. Los resultados indican mejora dos ordenes magnitud nivel funcional, equivalente determinista. Al respecto, pudo concluir acertado retardar ataque exitoso, minimizar fuga informacion. Este resultado aplicable dinamicos presume pueda ser extendido proteccion. Por otra parte, infraestructura propuesta abre espacio investigacion masiva minimizando considerablemente actividad potenciando especializacion distintas disciplinas involucradas.