Formal correctness of security protocols

• Autor: Giampaolo Bella
• Assuntos: COMPUTABILIDADE E COMPLEXIDADE; CRIPTOLOGIA; TÉCNICAS DE PROGRAMAÇÃO; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
• Editor: Heidelberg Springer
  
• Data de criação/publicação: c2010
  
• Formato: 274p.
  
• Idioma: Inglês