Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

Zarar Verici Lojik Erhan Anuk İTÜ Bilişim Enstitüsü, Bilgisayar Bilimleri.

Benzer bir sunumlar


... konulu sunumlar: "Zarar Verici Lojik Erhan Anuk İTÜ Bilişim Enstitüsü, Bilgisayar Bilimleri."— Sunum transkripti:

1 Zarar Verici Lojik Erhan Anuk İTÜ Bilişim Enstitüsü, Bilgisayar Bilimleri

2 Erhan Anuk2 Sunum Planı Zarar verici lojik nedir? Sınıflandırma Örnekler Zarar verici lojik teorisi Savunma Mekanizmaları

3 Erhan Anuk3 Zarar Verici Lojik Nedir? Zarar verici lojik bir bilgisayar sisteminin güvenlik politikasını ihlal eden ve bozan komutlar setidir. Zarar verici lojik içeren programlar, Verileri değiştirebilir veya zarar verebilir. Veri çalabilir. Yetkisiz erişim sağlayabilir.

4 Erhan Anuk4 Zarar Verici Lojik Nedir? (II) Sistemi kendi çıkarları için kullanabilir veya zarar verebilir. Kullanıcının yapmasını istediği işin dışında kullanıcının haberi olmadan başka işlemler yapar.

5 Erhan Anuk5 Zarar Verici Kod Sınıflandırması Zarar verici yazılım Konak programa ihtiyacı olanlar Bağımsız Olanlar Arka KapıLojik Bomba Truva Atı VirusSolucanZombi Kendini kopyalayabilenler

6 Erhan Anuk6 Truva Atları Truva atı belgelenmiş etkilerinin yanında belgelenmemiş ve beklenmeyen etkileri de varolan bir yazılımdır.

7 Erhan Anuk7 Truva Atları (II) Basit bir truva atı: cp /bin/sh /tmp/.xxsh chmod o+s,w+x /tmp/.xxsh rm./ls ls $*

8 Erhan Anuk8 Truva Atları (III) Kendilerini kopyalayabilirler. Örnek: animal Bilgisayar oyunu Çalıştığında kendisinin özdeş bir kopyasını çıkartıyor. Sabit disk üzerinde çok yer kaplanmasına yol açtı. Belirli bir tarihten sonra oynanınca kendi kendini silmeye başladı.

9 Erhan Anuk9 Virüsler Kendisini bir veya birden fazla dosyanın içine yerleştirebilen ve daha sonra belirli bir eylem gerçekleyen programlara bilgisayar virüsü denir. Latincede zehir anlamına gelir. Konak programa ihtiyaç duyar. Yorumlayıcılar tarafından da çalıştırılabilirler.

10 Erhan Anuk10 Virüsler (II) Yaşam Evreleri: Uyku Evresi Yayılma Evresi Tetikleme Evresi Yürütme Evresi Program V:= {goto main; ; subroutine infect-executable := {loop; file:=get-random-executable-file; if(first-line-of-file = ) then goto loop else prepend V to file; } subroutine do-damage:= {whatever damage is to be done} subroutine trigger-pulled:= {return true if some conditions hold} main:main-proram:= {infect-executable; if trigger-pulled then do-damage; goto next; } next: }

11 Erhan Anuk11 Virüsler (II) CV P` 1 P2P2 CV P` 1 CV P’ 2 P1P1 P2P

12 Erhan Anuk12 Virüsler (III) Açış Sektör Virüsleri Kendini açış sektörü (boot sector) üzerine kopyalayan virüslere açış sektörü virüsleri denir. Örnek: Brain virüsü Çok Yönlü Virüsler Hem açış sektörünü hem de yürütülebilir programlara buşabilen virüslerdir. (multipartite viruses)

13 Erhan Anuk13 Virüsler (IV) TSR Virüsleri: (Terminate and Stay Resident) Bu tip virüsler virüslü uygulama sona erdikten sonra da hafızada kalarak diğer dosyalara bulaşabilirler. Encroacher virüsü TSR virüslere örnek olarak gösterilebilir.

14 Erhan Anuk14 Virüsler (V) Gizlenebilir Virüsler: Bulaştıkları dosyalarda virüs bulunduğunu gizlerler. Çağrılan komuta göre uygulamaya cevap gönderirler. IDF virüsü veya 4096 virüsü

15 Erhan Anuk15 Virüsler (VI) Şifrelenmiş virüsler: Küçük bir deşifre yordamı hariç bütün virüs bilgisi şifrelenmiştir. Anti-virüs araçları yakalanmamak için. Virüs Kodu Deşifre yordamı Şifrelenmiş virüs kodu Deşifreleme anahtarı

16 Erhan Anuk16 Virüsler (VII) Polymorf Virüsler: Polymorf virüsler başka dosyalara bulaşırken herseferinde yapı değiştirirler. Aynı işlevi gören farklı komutlar kullanarak veya hiçbir etkisi olmayan komutlar kullanarak bunu gerçeklerler. Şifrelenmiş virüslerin devamıdırlar ve aynı teknikleri kullanırlar.

17 Erhan Anuk17 Virüsler (VIII) Makro Virüsleri : Yürütülen komutlar yerine yorumlanan (interprete) komutlar kullanan virüslere makro virüsleri denir. Kavramsal olarak makro virüslerin sıradan virüslerden bir farkı yoktur. Makro virüsler yürütülebilir dosyalara da bulaşabilir. Makro virüsler üzerlerinde bulundukları sistemin mimarisinden bağımsız olarak çalışırlar.

18 Erhan Anuk18 Solucanlar Bilgisayar solucanları virüslerden farklı olarak kendilerini bir bilgisayardan başka bir bilgisayara kopyalayan programlardır. Bilinen ünlü solucanlara örnek olarak 2001’de yayılan ve Microsoft IIS sunucularını etkileyen Code Red I ve Code Red II, ve Nimda solucanları verilebilir.

19 Erhan Anuk19 Lojik Bombalar Virüsler ve solucanların atası olarak kabul edilen lojik bombalar, belirli bir sistem olayı gerçekleştiğinde bazı fonksiyonları çalıştıran kod parçacıklarıdır. Tim Lloyd, Omega Engineering.

20 Erhan Anuk20 Zombiler, Tavşanlar, Bakteriler Zombiler gizlice internete bağlı başka bir bilgisayar sistemini ele geçiren programlardır. Bakteri veya tavşan ismiyle adlandırılan bu zarar verici programlar sistem üzerindeki aynı türdeki kaynakları tüketerek sistemi kullanılamaz hale getirirler.

21 Erhan Anuk21 Zarar Verici Lojik Teorisi Zarar verici kodların lojiği birbirine çok benzemektedir. Zarar verici lojiği ortaya çıkaracak bir tarayıcı olabilir mi? Bir programın içinde kendini çoğaltan kodu saptayabilecek bir algoritma var mıdır?

22 Erhan Anuk22 Zarar Verici Lojik Teorisi v’ vv k’k’+j k k+jkk+j k’ k’+j Cohen’in virüs tanımı

23 Erhan Anuk23 Savunma Mekanizmaları Zarar verici lojiğe karşı savunma mekanizmaları, zarar verici lojiğin varolan çeşitli özelliklerinden yararlanarak saptama yapar veya çalışmasını bloke eder. Bu mekanizmalar şüpheli durumları engeller.

24 Erhan Anuk24 Savunma Mekanizmaları (I) Veri ve Komut Şeklinde Davranan Zarar Verici Lojik Bu tekniği kullanan sistemlerde bütün programlar veri olarak varsayılır. Ancak bir sertikasyon otoritesi programın veri özelliğini yürütülebilir program özelliğine çevirdiği zaman program sistemde çalışabilir duruma gelir.

25 Erhan Anuk25 Savunma Mekanizmaları (II) Kullanıcı Kimliğine Dayanan Zarar Verici Lojik Bazı komut ve programların belirli dosyalara erişiminin denetlenmesi, ve bir programın dosya erişimlerinin önceki bilgi birikimlerine bakarak makul olup olmadığının kontrol edilmesiyle olabilir.

26 Erhan Anuk26 Savunma Mekanizmaları (III) Koruma Etki Alanı Sınırlarını Paylaşım Yolu ile Aşan Zarar Verici Lojik Farklı koruma etki alanlarından olan kullanıcıların dosya ve program paylaşımını engelleme zarar verici lojiğin bu etki alanları arasında yayılmasını engellemek açısından çok etkili bir yoldur. Zorunlu erişim denetim mekanizması

27 Erhan Anuk27 Savunma Mekanizmaları (IV) Dosyaları Değiştiren Zarar Verici Lojik Değişim saptama kodlarını kullanan mekanizmalar korunacak dosyalara belirli bir fonksiyon (örn: öz alma) uygulayarak bu dosyanın bir çeşit imzasını elde ederler ve daha sonra bu imzayı kullanarak dosyanın değişip değişmediğini kontrol ederler. Örnek: Tripwire (Unix)

28 Erhan Anuk28 Savunma Mekanizmaları (V) Belirtimlerin Ötesinde İşlev Gösteren Zarar Verici Lojik Varolan zarar verici lojik belirtimlerinin dışında hareket eden zararlı programlar için de çeşitli denetim mekanizmaları ortaya atılmıştır. Programları parçalara bölerek her bir parçanın ayrı ayrı özlerinin alınıp saklanması. N-versiyonlu programlama

29 Erhan Anuk29 Savunma Mekanizmaları (VI) İstatistiksel Özellikleri Değiştiren Zarar Verici Lojik Zarar verici lojik tarafından etkilenmiş programların istatistiksel özelliklerinin değişmesi de saptama mekanizmalarında kullanılan iyi bir yöntemdir. Artan dosya uzunluğu, yürütülebilir dosyalara yazma işlemlerinde artışlar gibi çeşitli istatiksel değerler kullanılarak zarar verici lojik saptanabilir.

30 Erhan Anuk30 Sonuç Komplike bir problem Standard erişim denetim mekanizmaları zayıf kalıyor. Her geçen gün yenileri ortaya çıkıyor. Sistem zayıflıklarını hedef alıyor. Savunma mekanizmaları gerçeklenmeli.

31 Erhan Anuk31 Kaynaklar [1]. Computer Security: Art and Science, Matt Bishop, 2003 [2]. Network Security Essentials, Application and Standards, William Stallings, 2003 [3]. An Overview of Computer Viruses in a Research Environment, Matt Bishop [4]. Computer Viruses as Artifical Life, Eugene H. Spafford [5]. Trusting Software: Malicious Code Analysis, Jay Kurosky

32 Erhan Anuk32 Sorular ?


"Zarar Verici Lojik Erhan Anuk İTÜ Bilişim Enstitüsü, Bilgisayar Bilimleri." indir ppt

Benzer bir sunumlar


Google Reklamları