Satrançta Büyük Usta Problemi
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde özellikle veri güvenliği konusunda kullanılan sıfır bilgi ispatı (zero knowledge proof) örneklerinden birisidir. Orijinal ismi chess grandmaster problem olarak geçer. Problemi basitçe şu şekilde tanımlayabiliriz. Bir gün satrancı hiç bilmeyen (veya büyük usta…
JML ( Java Modelleme Dili)
Yazan : Şadi Evren ŞEKER JML ingilizce Java modelling language kelimelerinin baş harflerinden oluşan bir kısaltmadır. Basitçe bir java kaynak koduna eklenen ilave satırlar ile progam doğruluğunu (program correctness) sağlamayı amaçlar (program verification). İlave olarak eklenecek satırlar java kodunun içerisine…
Program doğruluğu ( Program correctness)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde bir programın istenen özellikleri yerine getirip getirememesine verilen isimdir. Buna göre şayet bir program, beklenen özellikleri tam ve eksiksiz yerine getiriyor, istenmeyen sonuçlar ortaya çıkmıyor ve program başladıktan sonra her durumda başarılı bir…
IKE (Internet anahtar değişim) protokolü
Yazan : Şadi Evren ŞEKER IPSec (Internet Protocol Security) isimli, IP (internet protocol) üzerinde çalışan güvenlik protokolünün (teşrifat , protocol) bir parçası olarak geliştirilmiştir. Asıl amacı internet üzerinde güvenli bir şekilde şifreleme sırasında kullanılan anahtarları değiştirmektir. Bunun için diffie-hellman anahtar…
Dolev – Yao saldırgan modeli
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin çalışma alanlarından birisi olan Veri güvenliği konusunda kullanılan bir saldırgan modelidir. Orjinal ismi dolev-yao intruder model veya dolev yao threat model (dolev yao tehdit modeli) olarak geçmektedir. Basitçe bir ortam üzerinden iletişim halinde…
OLEDB
Yazan : Şadi Evren ŞEKER İngilizce olarak object linking and embedding database kelimelerinin baş harflerinden oluşan bir veritabanı terimidir. Aslında OLE terimi (object linking and embedding) Microsoft firması tarafından kazandırılan ve uygulama geliştirme sırasında bir varlığı programa bağlamaya yarayan mantıktır….
KERBEROS
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, veri güvenliği konusunda kullanılan bir protokolün ( teşrifat ) ismidir. Basitçe güvenli olmayan ortamlarda iki tarafın güvenli bir şekilde veri iletişimi yapmasını hedefler. Yapısında her iki tarafında karşılıklı olarak yetkilendirilmesine (authentication) dayanan simetrik…
Needham-Schroeder Protokolü
Yazan : Şadi Evren ŞEKER Protokolü (teşrifat) geliştiren iki kişinin ismini taşımaktadır. Basitçe güvenli iletişim için kullanılan bir güvenlik protokolüdür. İki ayrı şekli bulunmaktadır bunlardan birincisi simetrik şifreleme (Symettric encryption) kullanmakta diğeri ise açık anahtar şifrelemesi (public key cryptography) kullanmaktadır….
nonce
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde özellikle de veri güvenliğinde, nonce terimi “number used once” kelimesinin baş harflerinden oluşmaktadır. Anlam olarak bir sefer kullanılan sayı demektir. Özellikle yetkilendirme (authentication) protokollerinde kullanılan rastgele üretilmiş sayılar için kullanılan bir terimdir. Örneğin…
Çerezler (Cookies)
Yazan : Şadi Evren ŞEKER İçerik Çerezlerin internet gezgininde ayarlanması Çerezlerin HTTP protokolü üzerinden çalışması PHP dilinde çerez kullanımı JSP dilinde çerez kullanımı ASP dilinde çerez kullanımı Çerezler ve güvenlik İneternet üzerinde, özellikle de web sayfaları üzerinde gezinirken kullanılan ufak…