Execução Segura de Código em Módulo de Segurança Criptográfico

DSpace Repository

dc.contributor.advisor	Furtado, Olinto José Varela
dc.contributor.author	Resner, Fábio
dc.contributor.other	Júnior, André Bereza
dc.contributor.other	Custódio, Ricardo Felipe
dc.contributor.other	Martina, Jean Everson
dc.date.accessioned	2018-02-23T20:22:59Z
dc.date.available	2018-02-23T20:22:59Z
dc.date.issued	2012
dc.identifier.other	1324
dc.identifier.uri	https://repositorio.ufsc.br/handle/123456789/184187
dc.description	TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.
dc.description.abstract	Projeto que visa garantir a execução segura de código em uma plataforma de HSM a partir de instrumentação do código, geração de um modelo formal e validação do modelo formal segundo as políticas definidas pelo hospedeiro.
dc.subject	Execução Segura de Código
dc.subject	Módulo de Segurança Criptográfico
dc.subject	Model Carrying Code
dc.subject	seL4.
dc.title	Execução Segura de Código em Módulo de Segurança Criptográfico
dc.type	TCCgrad

Files	Size	Format	View
ExecSeguraHSM.pdf	885.4Kb	PDF	View/Open