Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Cortier, Véronique', Sorgu süresi: 0.03s Sonuçları Daraltın
1
Formal Models and Techniques for Analyzing Security Protocols
Yazar: Cortier, Véronique, Kremer, Steve
Baskı/Yayın Bilgisi 2013
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
2
Electronic Voting
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder