کتاب‌های Luca Viganò - BookPine

Socio-Technical Aspects in Security: 11th International Workshop, STAST 2021

Socio-Technical Aspects in Security: 11th International Workshop, STAST 2021

Simon Parkin

Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Book 9635)

Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Book 9635)

Frank Piessens

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Margus Veanes

Labelled Non-Classical Logics

Labelled Non-Classical Logics

Luca Viganò

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ...

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ...

Pierpaolo Degano

Labelled Deduction (APPLIED LOGIC SERIES Volume 17)

Labelled Deduction (APPLIED LOGIC SERIES Volume 17)

Sean Matthews

Labelled Deduction

Labelled Deduction

David Basin