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…

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…

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…

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…

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…

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….

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…

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…

Yazan : Şadi Evren ŞEKER Veri güvenliğinde kullanılan bir protokol (teşrifat, protocol) çeşididir. Temel olarak ortadaki kişi (man in middle) saldırılarına karşı geliştirilmiştir. Amacı, şifreli veri iletişimi sırasında, iletişimi izleyerek sabote etmek isteyen kötü niyetli kişilere karşı güvenlik sağlamaktır. Bilindiği…

Yazan : Şadi Evren ŞEKER Veri güvenliği konusunda geçen bir saldırı yöntemidir. Basitçe saldırgan bir kişinin veri iletişimi yapmak isteyen iki kişi arasına yerleşmesi ve gelip giden bütün mesajları okuması, silmesi veya değiştirmesi durumunda yapabileceği saldırı şeklidir. Saldırgandan korunmak için…