Hoare Mantığı ( Hoare Logic )
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, program doğrulama ( program corectness) için kullanılan mantığın ismidir. Basitçe bir dizi matematik kuralları ile bir programı modellemeye ve programın doğruluğunu ispatlamaya (veya yanlışlığını göstermeye) yarayan mantıktır. Bu mantığın bilgisayar dünyasında bir dil…
Algoritma Analizi (Teory of Algorithms) Derleyiciler Programlama Dilleri Veri Güvenliği (Cryptography) Yazılım Mühendisliği
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…
Cluster Computing (Bilgisayar Kümeleri)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, daha fazla işlem gücü elde etmek amacıyla birden fazla bilgisayarın tek bir bilgisayar gibi çalışmasına verilen isimdir. Genelde birden fazla bilgisayar birbirine oldukça hızlı bir ağ bağlantısı ile bağlanır ve bilgisayarların üzerinde çalıştırılan…
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…
classpath (Sınıf yolu)
Yazan : Şadi Evren ŞEKER JAVA programlama dilinde, derlenecek olan kaynak kodunun (Source code) kullandığı bağlantılı sınıfların (class) derlemeye dahil edilmesi için kullanılan terimin ismidir. Basitçe bir java kodunu derlerken, java derleyicisinin(Compiler) sınıfları (class) aradığı yoldur. İki türlü atanabilir, ya…
