skip to main content
Primo Search
Search in: Busca Geral

Formal correctness of security protocols

Giampaolo Bella

Heidelberg Springer c2010

Localização: IME - Inst. Matemática e Estatística    (QA810 B435f )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.