Modeling and verification of a stream authentication protocol using communicating sequential processes Haberleşen sıralı süreçler kullanarak bir akış kimlik denetimi protokolünün modellenmesi ve doğrulanması
Yüksek Lisans
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control