- Yeni Kız
Kriptografik Protokol: Güvenilir Tazeliğe Dayalı Güvenlik Analizi
"Kriptografik Protokol : Güvenilir Tazeliğe Dayalı Güvenlik Analizi " temel olarak sistem mühendisliği fikrine ve güvenilir tazelik bileşenine dayalı kriptografik protokollerin nasıl analiz edileceğini ve tasarlanacağını tartışır. Güvenilir tazelik bileşenine dayanan yeni bir tazelik ilkesi sunulmuştur; Bu ilke, kriptografik protokollerin güvenliğini analiz etmek için verimli ve kolay bir yöntemin temelidir. Yeni yaklaşımın muhakeme sonuçları, güvenlik koşullarıyla karşılaştırıldığında, protokol gerçekte doğru olduğunda bir kriptografik protokolün doğruluğunu belirleyebilir veya yapının doğrudan saldırılar oluşturmasına yol açan güvenlik özelliklerinin yokluğunu belirleyebilir. Dahası, tazelik ilkesine dayanarak, çok parçalı bir inanç biçimciliği sunulur. Bu biçimciliğin verimliliği, titizliği ve otomasyon olasılığı da sunulmaktadır.Kitap, iletişim, bilgisayar bilimi ve kriptografi alanlarındaki araştırmacılara, mühendislere ve lisansüstü öğrencilere yöneliktir ve özellikle gerçek dünyadaki kriptografik protokolleri analiz etmesi gereken mühendisler için faydalı olacaktır.Dr. Ling Dong, ağ inşaatı ve bilgi güvenliği alanında kıdemli bir mühendistir. Dr. Kefei Chen, Şangay Jiao Tong Üniversitesi Bilgisayar Bilimleri ve Mühendisliği Bölümü'nde Profesördür. * Yazar : Ling Dong, Kefei Chen • ISBN : 9783642240720 • Biçim : Ciltli * Yayın Tarihi : 2012-04-24.