@MASTERSTHESIS{ 2017:1860385911,
 	title = {TaintJSec: um m?todo de an?lise est?tica de marca??o em c?digo Javascript para detec??o de vazamento de dados sens?veis},
 	year = {2017},
 	url = "https://tede.ufam.edu.br/handle/tede/6267",
 	abstract = "Javascript ? uma das linguagens de programa??o mais utilizadas no mundo e
 continua expandindo-se gradativamente. Tal expans?o deve-se ? grande flexibilidade e
 dinamicidade que a linguagem possui, o que facilita bastante a cria??o de aplica??es.
 Por?m, essa mesma caracter?stica que a torna uma linguagem de sucesso ? tamb?m o
 que torna dif?cil a an?lise est?tica do fluxo de execu??o, processo esse que visa identificar
 a presen?a de c?digos maliciosos nas aplica??es. Este trabalho apresenta o TaintJSec,
 uma nova abordagem que utiliza an?lise est?tica de marca??o de c?digo JavaScript para
 identificar e prevenir o vazamento de informa??o sens?vel. O diferencial do TaintJSec em
 rela??o aos outros trabalhos que utilizam an?lise est?tica de marca??o ? que ele consegue
 analisar o fluxo de c?digos impl?citos, acompanha a propaga??o do taint tag na execu??o
 da fun??o eval e identifica o vazamento de informa??o em c?digos ofuscados. Para validar
 a efic?cia da abordagem, foram realizados testes de propaga??o do taint tag, dividos em 13
 grupos de testes distintos. Em seguida, foram realizados testes para avaliar a propaga??o
 na execu??o da fun??o eval. Por fim, a abordagem foi testada em um c?digo malicioso,
 ofuscado por cinco ferramentas diferentes, espec?ficas para tal finalidade. Os resultados
 obtidos demonstraram que a abordagem ? eficaz na detec??o do vazamento de informa??o
 e mais eficiente que outros m?todos do estado da arte.",
 	publisher = {Universidade Federal do Amazonas},
 	scholl = {Programa de P?s-gradua??o em Inform?tica},
 	note = {Instituto de Computa??o}
}