HOME View All Genre

Book

Audiobook

GENRES 🌙 Dark

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Alessandro Armando & Gavin Lowe

By Alessandro Armando & Gavin Lowe

Release Date: 2010-10-05

Genre: Computers

(0 ratings)
Read Download
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Alessandro Armando & Gavin Lowe

By Alessandro Armando & Gavin Lowe

Release Date: 2010-10-05

Genre: Computers

(0 ratings)
Read Download
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.

More by Alessandro Armando & Gavin Lowe

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Architettura e conflitto

Critica della ragione progettuale

Automated Reasoning

L'aula e la piazza

Related Articles