Operational Semantics and Verification of Security Protocols

Eylem Seç

Başlık:

Yazar:

Cremers, Cas. author.

ISBN:

9783540786368

Fiziksel Tanımlama:

XIII, 172 p. 59 illus. online resource.

Seri:

Information Security and Cryptography,

Seri Başlığı:

Information Security and Cryptography, 1619-7100

Konu Terimleri:

Yazar Ek Girişi:

Tüzel Kişi Ek Girişi:

Elektronik Erişim:

Ayırtma:
Kopya:

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	188195-2001	ONLINE	Arıyor... Unknown	Arıyor... Rafta