Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide

Name: Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
Brand: Springer

5.664,04 TL

Benzer Ürünler

Security Protocols and Threat Models: Security and Privacy via The Applied p-Calculus

3.325,11 TL

Attacking Network Protocols: A Hacker's Guide to Capture, Analysis, and Exploitation

2.275,57 TL

Designing and Conducting Survey Research: A Comprehensive Guide

3.265,20 TL

Mağaza Fiyatları

1 FİYAT

Sadece Ücretsiz Kargo

dispatched_from_England

Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide

10 gün içinde kargo

Ücretsiz Kargo

5.664,04 TL

Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide Özellikleri

Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide Yorumları

Ürüne Puan Ver

Ansiklopedi Benzer Kategoriler

İmla Kılavuzu

Bilgisayar Kitapları

Dil Kartları

Ders ve Yardımcı Kitap

Deyimler ve Atasözleri

Ansiklopedi Ürünleri

Sustainable Finance for Sustainable Development: Regulations, Theory and Practice

7.784,01 TL

Nigerian Political Parties in the Fourth Republic: Evolution, Characteristics and Dynamics of Transformation

7.783,34 TL

Geopolitics and China's Patronage Strategy: The Wary Patron, the Autonomous Client, and the Vietnam War

7.781,60 TL

Greek in Minoritized Contexts: Identities, Authenticities, and Institutions

7.776,78 TL

Public Diplomacy of South Korea

7.765,23 TL

Springer Ürünleri

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track and Demo Track: European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part X

8.140,26 TL

Distributed Computing and Artificial Intelligence, Special Sessions II, 21st International Conference

8.129,27 TL

Two Decades of TEL. From Lessons Learnt to Challenges Ahead: 20th European Conference on Technology Enhanced Learning, EC-TEL 2025, Newcastle upon ... September 15–19, 2025, Proceedings, Part I

8.122,51 TL

Digital Transformation, Artificial Intelligence and Society: Opportunities and Challenges

8.121,46 TL

Compliantly-Driven Robots with Application to Exoskeletons: Mechanical Design, Interaction Control, and Interactive Learning

8.120,91 TL

Springer Ansiklopedi Ürünleri

Topics in Cryptology – CT-RSA 2025: Cryptographers’ Track at the RSA Conference 2025, San Francisco, CA, USA, April 28–May 1, 2025, Proceedings

8.465,08 TL

Decision Making and Security Risk Management for IoT Environments

8.443,71 TL

Trends in Mechatronics Systems: Industry 4.0 Perspectives

8.440,91 TL

Hearing Peace: Music, Sound and Notes in Peace Education

8.425,60 TL

The Seventh International Conference on Safety and Security with IoT: SaSeIoT 2023

8.415,05 TL

İlgili Diğer Ürünler