Métodos Formais para o Estudo de Protocolos de Segurança
Várias abordagens têm sido propostas nos últimos anos para o estudo de problemas de Criptografia. Visto que o modelo da Criptografia Computacional é bastante complexo e por isso bastante difícil de utilizar, várias abstracções têm sido propostas nos últimos anos sendo a mais bem sucedida a proposta...
Main Author: | |
---|---|
Other Authors: | |
Language: | English |
Published: |
Instituições portuguesas -- UTL-Universidade Técnica de Lisboa -- IST-Instituto Superior Técnico -- -Departamento de Matemática
2006
|
Online Access: | http://dited.bn.pt:80/31552 |