Formal verification of cryptographic software implementations

Tese de doutoramento em Informática

Detalhes bibliográficos
Autor principal: Vieira, Bárbara Isabel Sousa (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2012
Assuntos:
519.68
Texto completo:http://hdl.handle.net/1822/20770
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/20770
Descrição
Resumo:Tese de doutoramento em Informática

Registros relacionados