DMCA
Modelling an Attacker With Cryptanalytical Capabilities
Cached
Download Links
| Citations: | 1 - 1 self |
BibTeX
@MISC{José_modellingan,
author = {Bruno José and Conchinha Montalto},
title = {Modelling an Attacker With Cryptanalytical Capabilities},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A abordagem simbólica à análise de protocolos de segurança, introduzida por Dolev e Yao há cerca de 25 anos, tem sido muito bem aceite entre a comunidade científica. Estes modelos usam tipicamente a assumpção de “criptografia perfeita”, abstraindo os detalhes das primitivas criptográficas utilizadas no protocolo. Esta simplicidade permitiu o desenvolvimento de várias ferramentas automáticas de análise da segurança de protocolos baseadas nesta abordagem. Contudo, é difícil justificar que estas abstracções são correctas, pois na prática as primitivas criptográficas têm propriedades que podem ser exploradas pelo atacante. A abordagem computacional da análise de protocolos de segurança resolve este problema, tratando as primitivas criptográficas como algoritmos e utilizando conceitos como os de complexidade e probabilidade. Tais modelos são, contudo, bastante complexos, e é geralmente difícil provar teoremas neste contexto. O objectivo deste trabalho é desenvolver uma ferramenta simbólica para a análise de protocolos de segurança que permita ao atacante explorar propriedades conhecidas das primitivas criptográficas. Vamos mostrar como representar propriedades criptográficas e informação parcial sobre mensagens secretas. Vamos ainda estudar como obter uma estimativa da
Keyphrases
cryptanalytical capability primitivas criptogr fica propriedades parcial sobre mensagens tai modelos criptografia perfeita fica informa introduzida por dolev yao cerca lise da abordagem simb cil provar teoremas neste contexto pr tica tem sido muito bem aceite usam tipicamente que permita ao atacante abstraindo o detalhes abordagem computacional da vamos mostrar como representar propriedades resolve este problema comunidade cient fica e correctas primitivas criptogr fica permitiu desenvolvimento nesta abordagem dif cil justificar que estas da primitivas criptogr fica bastante complexos podem ser exploradas pelo atacante
