CENG 651
Güvenlik İçin Formal Yöntemler
Bu ders, emniyet ve güvenlik açısından kritik uygulamalar için biçimsel yöntemlerin yazılım mühendisliği yöntemleri ile nasıl kullanılacağını gösterecektir. Bu ders içinde konuya özel CSP süreç algebrası ve Zamansal Mantık gibi biçimsel ifade yöntemleri ile system modelleme ve doğrulama araçları açıklanacaktır. Ayrıca, ders içinde biçimsel yöntemlerin sistemlerin emniyet ve güvenlik özelliklerinin analizinde kullanım şekli de araştırılacaktır.
Dersin Amacı:
Yazılım mühendisliği alanında emniyet ve güvenlik için kullanılan biçimsel yöntemleri öğretmek. Emniyet ve güvenlik için yazılım mühendisliği alanında kullanılan algoritmaları tanıtmak ve bu algoritmaları gerçekleme becerisi geliştirmek. Bu alandaki uygulamalara yakınlık kazandırmak. Dönem projesi ile raporlama ve sunma becerisi geliştirmek.
Kaynakça:
B. Bérard et al.. Systems and Software Verification, Model Checking Techniques and Tools, Springer-Verlag, 2001
Öğrenme Çıktıları:
1. Yazılım mühendisliği alanında emniyet ve güvenlik için kullanılan biçimsel yöntemleri ile ilgili temel kavramları açıklayabilme
2. Yazılım mühendisliği alanında emniyet ve güvenlik için kullanılan güncel biçimsel yöntemleri tanıma
3. Yazılım sistemleri için emniyet ve güvenlik ile ilgili algoritmaları gerçekleyebilme
4. Yapılan çalışmaları raporlayabilme ve sunabilme
Konular |
Biçimsel Yöntemlere Giriş |
Önerme ve Betimleme Mantıkları |
Program Doğrulama |
Program Doğrulama |
CSP süreç algebrası |
Protokol Doğrulama |
Model Denetimi |
Otomata ile Sistem Modelleme |
Zamansal Mantık ile Sistem Özellikleri Tanımlama |
Model Denetimi Algoritmaları |
Model Denetimi Algoritmaları |
Sembolik Model Denetimi |
Soyutlama Yöntemleri |
SPIN Model Denetim Aracı |
Notlandırma:
Vize: 30%
Ödev: 10%
Araştırma Sunumu: 30%
Final: 30%
- CENG 501
- CENG 502
- CENG 503
- CENG 504
- CENG 505
- CENG 506
- CENG 507
- CENG 508
- CENG 509
- CENG 511
- CENG 512
- CENG 513
- CENG 514
- CENG 515
- CENG 516
- CENG 517
- CENG 518
- CENG 521
- CENG 522
- CENG 523
- CENG 524
- CENG 525
- CENG 531
- CENG 532
- CENG 533
- CENG 534
- CENG 541
- CENG 542
- CENG 543
- CENG 544
- CENG 551
- CENG 552
- CENG 555
- CENG 556
- CENG 557
- CENG 561
- CENG 562
- CENG 563
- CENG 564
- CENG 565
- CENG 566
- CENG 600
- CENG 608
- CENG 611
- CENG 612
- CENG 613
- CENG 631
- CENG 632
- CENG 641
- CENG 642
- CENG 643
- CENG 661
- CENG 662
- CENG 663
- CENG 690