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 |