DEPARTMENT OF COMPUTER ENGINEERING MASTER OF SCIENCE PROGRAM IN COMPUTER SOFTWARE

Transkript

1 DEPARTMENT OF COMPUTER ENGINEERING MASTER OF SCIENCE PROGRAM IN COMPUTER SOFTWARE Core Courses CENG 590 CENG 591 CENG 8XX CENG 9XX Seminar (0-2) Non-credit M.Sc. Thesis (0-1) Non-credit Special Studies (4-0) Non-credit Special Topics (4-0) Non-credit Elective Courses CENG 500 Optimization Methods (3-0)3 CENG 501 Computational Algebra and Optimization (3-0)3 CENG 510 Introduction to Statistical Data Processing (3-0)3 CENG 511 Statistical Modeling (3-0)3 CENG 512 System Modeling and Computer Simulation (3-0)3 CENG 513 Statistical Analysis of Experiments I (3-0)3 CENG 514 Statistical Analysis of Experiments II (3-0)3 CENG 515 Performance Evaluation of Computer Systems (3-0)3 CENG 520 Artificial Intelligence (3-0)3 CENG 521 Expert Systems and Knowledge Engineering (3-0)3 CENG 530 Digital Image Processing (3-0)3 CENG 540 Information Systems Policy, Management and Organization (3-0)3 CENG 541 Computer Law, Legal and Ethical Issues (3-0)3 CENG 542 Computer Security (3-0)3 CENG 543 The Asymmetrical Cryptosystems (3-0)3 CENG 544 Cryptanalysis I (3-0)3 CENG 545 Cryptanalysis II (3-0)3 CENG 546 C 4 I and Information Warfare (3-0)3 CENG 547 Advanced Network Security (3-0)3 CENG 548 Intrusion Detection (3-0)3 CENG 549 Computational Number Theory (3-0)3 CENG 550 Formal Methods for Security (3-0)3 CENG 551 Symmetrical Cryptosytems (3-0)3 CENG 560 Parallel Algorithms (3-0)3 CENG 561 Advanced Operating Systems (3-0)3 CENG 562 Design and Analysis of Advanced Algorithms (3-0)3 CENG 563 Real Time and Embedded System Design (3-0)3 CENG 570 Advanced Database Management Systems (3-0)3 CENG 580 Computers and Society (3-0)3 CENG 581 Computer Applications in Medicine and Biology (3-0)3 CENG 582 Computer Solutions of Engineering Problems (3-0)3 CENG 583 Topics in Computer Science (3-0)3 ** There is no must course in Computer Software Master of Science program except non-credit courses. Any course(s) may be enrolled from any areas. ** It depends on the availability of the faculty member plus the minimum number of students which determined by the Department of Computer Engineering in order for a course to be effective. 1

2 BİLGİSAYAR MÜHENDİSLİĞİ ANABİLİM DALI BİLGİSAYAR YAZILIMI YÜKSEK LİSANS PROGRAMI Zorunlu Dersler CENG 590 Seminer (0-2)Kredisiz CENG 591 Yüksek Lisans Tezi (0-1)Kredisiz CENG 8XX Uzmanlık Alanı Dersi (4-0)Kredisiz CENG 9XX Uzmanlık Alanı Dersi (4-0)Kredisiz Seçmeli Dersler CENG 500 Eniyileme Yöntemleri (3-0)3 CENG 501 Cebirsel Hesaplama ve Eniyileme (3-0)3 CENG 510 İstatistiksel Veri İşleme Giriş (3-0)3 CENG 511 İstatistiksel Modelleme (3-0)3 CENG 512 Sistem Modelleme ve Bilgisayarlı Benzetim (3-0)3 CENG 513 Deneylerin İstatistiksel Analizi I (3-0)3 CENG 514 Deneylerin İstatistiksel Analizi II (3-0)3 CENG 515 Bilgisayar Sistemleri Performans Değerlendirmesi (3-0)3 CENG 520 Yapay Us (3-0)3 CENG 521 Uzman Sistemler ve Bilgi Mühendisliği (3-0)3 CENG 530 Sayısal Görüntü İşleme (3-0)3 CENG 540 Bilgi Sistemleri Politika, Yönetim ve Organizasyonu (3-0)3 CENG 541 Bilgisayar Hukuku, Kanun ve Ahlaki Sorunlar (3-0)3 CENG 542 Bilgisayar Güvenliği (3-0)3 CENG 543 Asimetrik Kriptosistemler (3-0)3 CENG 544 Kriptanaliz I (3-0)3 CENG 545 Kriptanaliz II (3-0)3 CENG 546 C 4 I ve Bilgi Savaşları (3-0)3 CENG 547 İleri Ağ Güvenliği (3-0)3 CENG 548 Nüfuz Tespiti (3-0)3 CENG 549 Bilgisayar Tabanlı Sayılar Teorisi (3-0)3 CENG 550 Güvenlik İçin Formal Yöntemler (3-0)3 CENG 551 Simetrik Kriptosistemler (3-0)3 CENG 560 Paralel Algoritmalar (3-0)3 CENG 561 İleri İşletim Sistemleri (3-0)3 CENG 562 İleri Algoritmaların Tasarım ve Analizi (3-0)3 CENG 563 Gerçek Zamanlı ve Gömülü Sistem Tasarımı (3-0)3 CENG 570 İleri Veritaban Yönetim Dizgeleri (3-0)3 CENG 580 Bilgisayarlar ve Toplum (3-0)3 CENG 581 Tıp ve Biyolojide Bilgisayar Uygulamaları (3-0)3 CENG 582 Mühendislik Problemlerinin Bilgisayar Çözümleri (3-0)3 CENG 583 Bilgisayar Bilimlerinde Çeşitli Konular (3-0)3 ** Bilgisayar Yazılımı Yüksek Lisans Programı nda -kredisiz dersler hariç- zorunlu ders bulunmamaktadır; istenilen alan(lar)dan ders seçilebilir. ** Bilgisayar Mühendisliği Anabilim Dalı nda bir dersin açılabilmesi, o alanda öğretim üyesinin bulunmasına ve bölümce saptanan minimum öğrenci sayısına bağlıdır. 2

3 DEPARTMENT OF COMPUTER ENGINEERING MASTER OF SCIENCE PROGRAM IN COMPUTER SOFTWARE COURSE DESCRIPTIONS AREA 0 : OPTIMIZATION CENG 500 Optimization Methods (3-0)3 Linear programming, nonlinear programming, iterative methods and dynamic programming are presented, especially as they relate to optimal control problems. Discrete and continuous optimal regulators are derived from dynamic programming approach which also leads to the Hamilton-Jakobi-Bellman Equation and the Minimum Principle. Linear quadratic regulators, linear tracking problems and output regulators are treated. Linear observer and the separation theorem are developed for controller implementation. CENG 501 Computational Algebra and Optimization (3-0)3 Gaussian elimination and pivoting strategies. Positive definite, banded and linear systems. Iterative methods for large sparse systems. Eigenvalue problems. Newton and quasi-newton methods for nonlinear algebraic systems. Linear and nonlinear programming and optimization. AREA 1 : STATISTICS, MODELING CENG 510 Introduction to Statistical Data Processing (3-0)3 Organization and application of computers and statistical techniques to data processing. Data handling in terms of coding, preparation, acquisition (with and without computers), screening and reduction; summarization, tabulation and analysis; random variables, statistical estimation and hypothesis testing, enumerated data analysis, linear models ( regression, correlation, analysis of variance). CENG 511 Statistical Modeling (3-0)3 Introduction to statistical modeling. The method of least squares. Fitting a simple linear model by least squares. Examination of regression equation. Lack of fit and pure error. The extra sum of squares principle. Orthogonal columns in the X-matrix. Weighted least squares. Bias in regression estimates. Examination of residuals. Complicated models. Selecting the best regression equation. Mathematical model building. Introduction to nonlinear estimation. Estimating the parameters of nonlinear system. Examples of some nonlinear models. CENG 512 System Modeling and Computer Simulation (3-0)3 Introduction, System concept, System modeling, Monte Carlo technique, definition and selection of system input variables, generation and examination of random numbers, generation of random variables, Discrete System simulation, Discrete System Simulation Software. CENG 513 Statistical Analysis of Experiments I (3-0)3 Introduction. Data: Definition, collection and preparation for the analysis. Descriptive statistics. Introduction to probability theory. Some important discrete and continuous distributions. Statistical estimation. Testing hypotheses. Analysis of enumerated data. CENG 514 Statistical Analysis of Experiments II (3-0)3 Introduction to multiple regression analysis. Least squares and fitting a linear model using matrix notation. Extra sum of squares principle and partial F-Tests. The examination of residuals. Selecting the best regression equation. Principles of experimental design. Analysis of variance- One way classification. Factorial experiments. Split-Plot Designs. 3

4 CENG 515 Performance Evaluation of Computer Systems (3-0)3 Modeling and performance analysis of computer systems. Introduction to queueing network models and elements of queueing analysis. Exact and approximate analytical techniques, simulation and operation analysis. Examples in modeling multiprogramming operating systems, interactive systems, and flow control in computer networks. AREA 2 : ARTIFICIAL INTELLIGENCE, SOFT COMPUTING CENG 520 Artificial Intelligence (3-0)3 This course introduces students to the many concepts and techniques in Artificial Intelligence (AI). Topics covered include: problem spaces and search, heuristic search techniques, predicate logic, game playing techniques, planning, learning, natural language processing, and machine perception. CENG 521 Expert Systems and Knowledge Engineering (3-0)3 Introduction to the various techniques used in building an expert systems. Topics covered include: knowledge representation methods, production systems, inference procedures, uncertainty and evidence combination, expert systems architectures and control, knowledge acquisition, programming languages for expert systems, and various case studies. AREA 3 : DIGITAL IMAGE PROCESSING CENG 530 Digital Image Processing (3-0)3 This course covers the materials required to process and enhance photographic images, remote sensor multispacial scanner data and others. Topics include transform techniques, records and discriminate function. AREA 4 : STRATEGY AND SECURITY CENG 540 Information Systems Policy, Management and Organization (3-0)3 Strategy, Security, National/International Crypto Strategy and Policy, Export/Import Restrictions on Cryptographic Equipments, Information Management and Policy, Information Systems Strategy/Security Standards and Policies, Computer Emergency Response Teams (CERTs), Continuity Planning, Disaster Recovery Standards and Policies, Organizations, NGOs and Think Tanks, Informations Systems Open Source Intelligence, Strategy/Policy Making Software and Simulators, Electronic Commerce, Certification Authorities, Electronic Notery, Electronic Money. CENG 541 Computer Law, Legal and Ethical Issues ( 3-0)3 Computer Crime: Definitions, Investigations and Fight Against, Intellectual Property Laws, Copyright, Current Situation in U.S. of America and Europa, Comparisons with Turkey, Patent Law, Turkish Crime Law and Informatics Crimes, Turkish Law on Intellectual Property, Copyright and Patent, Software Piracy and Law Enforcement, Crime Scene Analysis, Forensics. CENG 542 Computer Security (3-0)3 Introduction, Basic Threats, Vulnerability Analysis, Profile Analysis, Concept of Modus Operandi, Operating Systems Security Features, Secure Operating Systems Models, Rainbow Series, Orange Book, DoD Standards, Network Security, Firewall Design Principles, Database Security, Harmful Software and Malware, Virus Scanner Design and Usage Policies, Security of Magnetic Stripe and Smart Cards. 4

5 CENG 543 The Asymmetrical Cryptosystems (3-0)3 Secrecy, Integrity, Authentication, Key sharing, Factorization based (RSA), ECC and Lattice based asymmetrical cryptosystems, Random number generators, prime number generators and primality testers, hashing algorithms (MD5-SHA0-SHA1-SHA2), PKI and related models, standards: IEEE P1363, Fips 186.2, , x9.62, x9.63, PKCS#6, x509v3. CENG 544 Cryptanalysis I (3-0)3 Basic principles of Information Theory, Analysis of Symmetrical Product Ciphers, Cryptanalysis of Stream Ciphers, Differential Cryptanalysis, Linear Cryptanalysis. CENG 545 Cryptanalysis II (3-0)3 Basic principles of Complexity Theory, Cryptanalysis of DES/AES, Genetic Algorithms in Cryptanalysis. CENG 546 C 4 I and Information Warfare (3-0)3 Concepts, Terminology, Command-Control-Communications-Computers and Intelligence (C 4 I ) Structure, Aims and Threats, Attacks and Defenses in Cyber Space, Economic Psychological and Intelligence Warfare, Information Warfare Strategy, Intelligence and Counterintelligence in Cyber Space, Cyber Terrorism. CENG 547 Advanced Network Security (3-0)3 Network Security Overview, Communication Security and Basic Encryption Techniques, Authentication Protocols, Electronic Mail Security, IP Security, Web Security, Network Management Security, Firewalls, Intrusion Detection Systems. CENG 548 Intrusion Detection (3-0)3 Computer Misuse Techniques, Intrusion Management Model, Limitations of Firewalls, Intrusion Detection Models, Application of Various Methodologies to Intrusion Detection, Testing Intrusion Detection Systems, Intrusion Management Tools. CENG 549 Computational Number Theory (3-0)3 Fundamentals, Algorithms for Congruences, Equations, and Powers, Euler s Φ Function and Coding, Second Degree Congruences, Prime Numbers, Quadratic Residues, Continued Fractions, Algorithms for Primality Testing, Finding Large Primes, Elliptic Curves, Factoring Algorithms, Algorithms for Exponential Methods of Factoring Integers, Subexponential Factoring Algorithms, Computing Discrete Logarithms. CENG 550 Formal Methods for Security (3-0)3 Overview of specification languages used to specify security properties, Analysis methods and tools for security properties, Methods in security verification and validation, Case studies of formally verified secure systems, Domain-specific security protocols. CENG 551 Symmetrical Cryptosystems (3-0)3 Secrecy, integrity, authentication, history of the cryptography, the fundamental concepts of the information theory, the discrete information source with and without memory, secrecy systems, monoalphabetical substitution, polyalphabetical substitution, transposition, classical rotor systems, pseudo-random-sequence generators & stream ciphers, block ciphers, Data Encryption Standard (DES), Advanced Encryption Standard (AES), key management, combining block ciphers, Symmetrical cryptosystem security architectures, Symmetrical cryptosystem design & verification. Dersi Verecek Olan Öğretim Üyesi :Doç.Dr. Ahmet KOLTUKSUZ 5

6 AREA 6 : PARALLEL/DISTRIBUTED PROCESSING CENG 560 Parallel Algorithms (3-0)3 Parallel Programming Models;, parallel architectures; distributed and shared memory architectures, communication operations on ring, mesh and hypercube, parallel programming languages and environments ;C*, Occam, PVM, MPI, ipsc Hypercube, parallel matrix algorithms and linear equations, parallel graph algorithms, scheduling CENG 561 Advanced Operating Systems (3-0)3 Operating systems review, process synchronization, distributed system communication, synchronization in distributed systems, distributed algorithms, static and dynamic scheduling in distributed systems, group communication, fault tolerance, distributed real-time systems. CENG 562 Design and Analysis of Advanced Algorithms (3-0)3 Sorting, heaps and heapsort; quicksort, dynamic programming, greedy algorithms, graph algorithms, Kruskal and Prim algorithms, maximum flow, matrix operations; solving linear equations; sparse matrices, parallel algorithms CENG 563 Real Time and Embedded System Design (3-0)3 Architecture of the real-time systems, real-time kernels, scheduling and resource management, real-time languages; real-time comunication protocols, distributed real-time systems, fault tolerance, reliability in distributed real-time systems AREA 7 : INFORMATION SYSTEMS CENG 570 Advanced Database Management Systems (3-0)3 Relational theory and extensions, such as relational calculus, relational algebra, higher order normal forms; advanced DBMS concepts, such as integrity, recovery, concurrency, security, query optimisation; object-oriented databases; distributed databases, related techniques and protocols, such as data replication, data fragmentation, synchronisation, load balancing; parallel databases; deductive databases; federated databases and homogeneity/heterogeneity AREA 8 : VARIOUS TOPICS CENG 580 Computers and Society (3-0)3 The effect of scientific and technological developments on social economic organization. Historical examples comparison with those examples of the computer and its effects. Possible uses of computer systems, social changes which they would influence and the choices they present. CENG 581 Computer Applications in Medicine and Biology (3-0)3 The analysis and design of Hospital Information Systems. The mathematical, physical and Physiological basis for algorithms used in medicine, imaging and biological modeling. Topics in computer modeling of organs will be chosen from the brain, heart, nervous system, sense organs etc. CENG 582 Computer Solutions of Engineering Problems (3-0)3 Finite Difference and Finite Element solutions of elliptic, parabolic and hyperbolic partial differential equations; eigenvalue problems. Applications to practical engineering problems. CENG 583 Topics in Computer Science (3-0)3 Topics from advanced areas will be discussed in a seminar format. Contents may vary. 6

7 AREA 9 : NON-CREDIT COURSES CENG 590 Seminar Non-Credit (0-2) This seminar course must be taken by all MSc students working towards their MSc thesis. The students taking the course are required to make presentations on their thesis studies and prepare progress reports and final reports. CENG 591 MSc Thesis Non-Credit (0-1) Program of research leading to MSc degree, arranged between a student and the faculty member. Students register to this course in all semesters starting from the beginning of their second semester while the research program or write-up of the thesis is in progress. CENG 8XX Special Studies Non-Credit (4-0) MSc students choose and study a topic under the guidance of faculty member normally his/her advisor. CENG 9XX Special Topics Non-Credit (4-0) Graduate students as a group or a PhD student choose and study advanced topics under the guidance of a faculty member normally his/her advisor. 7

8 Coding structure Course Codes Depart ment Code 1 st 2 n d 3 rd CENG X X X 1 st digit: indicates the year 2 nd digit: indicates the course area 0 Optimization 1 Statistics, Modeling 2 Artificial Intelligence, Soft Computing 3 Digital Image Processing 4 Strategy and Security 6 Parallel/Distributed Processing 7 Information Systems 8 Various Topics 9 Non-credit courses 3 rd digit: indicates the number of the course from within that specific area Example: 1. CENG 513 : 5 th year, Area of Statistics, Modeling, 3 rd course of that area. 2. CENG 542 : 5 th year, Area of Strategy and Security,2 nd course of that area. 8

9 BİLGİSAYAR MÜHENDİSLİĞİ ANABİLİM DALI BİLGİSAYAR YAZILIMI YÜKSEK LİSANS PROGRAMI DERS İÇERİKLERİ ALAN 0 : OPTİMİZASYON CENG 500 Eniyileme Yöntemleri (3-0)3 Doğrusal programlama, doğrusal olmayan programlama, sınama-yanılma yöntemleri ve dinamik programlama tanıtılarak özellikle optimal denetim problemlerine uygulanacak. Dinamik programlama yaklaşımından kesikli ve sürekli optimal düzenleyiciler türetilecek. Doğrusal gözlemci ve ayırma teoremleri geri beslemeli denetleyici uygulamaları için geliştirecek. CENG 501 Cebirsel Hesaplama ve Eniyileme (3-0)3 Gaus yok etme ve pivot stratejileri. Pozitif tanımlı band ve seyrek doğrusal sistemler. Büyük seyrek sistemler için iteratif yöntemler. Eigendeğer problemleri. Doğrusal olmayan geniş sistemler için Newton ve Quasi-Newton yöntemler. Doğrusal ve doğrusal olmayan programlama ve eniyileme. ALAN 1 : İSTATİSTİK, MODELLEME CENG 510 İstatistiksel Veri İşleme Giriş (3-0)3 Bilgisayar ve istatistik tekniklerinin veri işleme uyarlaması ve uygulanması. Kodlama hazırlığı, veri toplama (bilgisayarlı olan ve olmayan), eleme, özetleme, tablolama ve analiz, olasılık ve şans değişkenleri, istatistiksel tahminleme ve hipotez kontrolları, sayımla elde edilen verilerin analizi. Doğrusal modeller (regresyon, korelasyon, varyans analizi). CENG 511 İstatistiksel Modelleme (3-0)3 İstatistiksel modellemeye giriş, en küçük kareler yöntemi, basit doğrusal modelin en küçük kareler uyumu, regresyon eşitliğinin incelenmesi, uyum yetersizliği ve saf hata, ekstra kareler toplamı prensibi, X-matrisinde ortogonal kolonlar, ağırlıklı en küçük kareler yöntemi, regresyon tahminlerindeki sapmalar, hataların incelenmesi, karmaşık modeller, en iyi regresyon eşitliğinin seçimi, matematiksel model geliştirme, doğrusal olmayan tahminlemeye giriş, doğrusal olmayan modelde parametre tahminlemesi, bazı doğrusal olmayan modellerden örnekler. CENG 512 Sistem Modelleme ve Bilgisayarlı Benzetim (3-0)3 Giriş, Sistem kavramı, Sistem Modelleme, Monte Carlo tekniği, Sistem Girdi değişkenlerinin tanımlanması ve seçilmesi, şans sayıları türetimi ve incelenmesi, şans değişkenleri türetilmesi, ayrık sistem benzetimi, ayrık sistem benzetim yazılımları. CENG 513 Deneylerin İstatistiksel Analizi I (3-0)3 Giriş, veri; veri tanımı, elde edilmesi ve analizleri hazırlanması, genel amaçlı istatistik paketleri, tanımlayıcı istatistikler, olasılık teorisine giriş, bazı önemli kesikli ve sürekli dağılışlar, istatistiksel tahminleme, hipotez kontrolları, sayım ile elde edilen verilerin analizi, bazı önemli parametrik olmayan testler, basit doğrusal regresyon. CENG 514 Deneylerin İstatistiksel Analizi II (3-0)3 Çoklu regresyon analizine giriş, matriks notasyonu kullanarak doğrusal bir modelin en küçük kareler uyumu, ekstra kareler toplamı prensibi ve kısmi F-testleri, hataların incelenmesi, en iyi regresyon eşitliğinin bulunması, deneysel tasarımın genel prensipleri, varyans analizleri-tek yönlü sınıflama, varyans analizleri-iki yönlü sınıflama, faktöriyel denemeler, split-plot denemeler. 9

10 CENG 515 Bilgisayar Sistemleri Performans Değerlendirmesi (3-0)3 Bilgisayar sistemlerinin modellenmesi ve performans analizi. Kuyruk ağ modellerine giriş ve kuyruk analizi elemanları. Kesin ve yaklaşık analitik teknikler, benzeşim ve işletim analizleri. Çok kullanıcılı işletim sistemleri, etkileşimli sistemler modellemleri ve bilgisayar ağlarında akış kontrolu örnekleri. ALAN 2 : YAPAY US, YAZILIMLA HESAPLAMA CENG 520 Yapay Us (3-0)3 Bu ders yapay usun birçok teknik ve kavramlarını tanıtır. Problem uzayı ve arama, heuristik arama teknikleri, mantık, oyun kuralları, planlama, öğrenme, doğal dil işleme, makine algılaması. CENG 521 Uzman Sistemler ve Bilgi Mühendisliği (3-0)3 Uzman sistem geliştirilmesindeki çeşitli tekniklere giriş. Bilgi tanıtma yöntemleri, üretim sistemleri, yorum yöntemleri, belirsizlik ve ipucu kombinasyonları, uzman sistem mimarisi ve kontrolu, bilgi edinme, uzman sistem programlama dilleri, çeşitli durum analizleri. ALAN 3 : SAYISAL GÖRÜNTÜ İŞLEME CENG 530 Sayısal Görüntü İşleme (3-0)3 Bu ders fotoğraf, uzaktan algılama, tarayıcılar gibi yollarla elde edilmiş görüntüleri işlemek ve zenginleştirmek için gerekli konuları kapsar. Transformasyon teknikleri, kayıtlar ve ayırım fonksiyonlarını içerir. ALAN 4 : STRATEJİ VE GÜVENLİK CENG 540 Bilgi Sistemleri Politika, Yönetim ve Organizasyonu (3-0)3: Strateji, Güvenlik, Ulusal/Uluslararası Kripto Strateji ve Politikası, Kripto Cihazları İthalat/İhracat Rejimleri, Bilgi Yönetimi ve Politikası Geliştirme, Bilgi Sistemleri Stratejisi/Güvenliği Standart ve Politikaları, Bilgisayar Güvenliği Acil Durum Kurumları (CERTs), Süreklilik Planlaması, Beklenmeyen Durum ve Sonrası Standart ve Politikalarının Belirlenmesi, Organizasyonlar, NGO-Think Tanks, Bilgi Sistemleri ve Açık Kaynak İstihbaratı, Strateji/Politika Belirleyici Yazılımlar-Simülatörler, Elektronik Ticaret, Onay Kurumları, Elektronik Noter, Elektronik Para. CENG 541 Bilgisayar Hukuku, Kanun ve Ahlaki Sorunlar ( 3-0)3: Bilişim Suçları:Tanımlama, Soruşturma ve Mücadele, Fikri Mülkiyet Hakları, Sınai Mülkiyet Hakları, Amerika ve Avrupa da durum, Türkiye ile karşılaştırmalar, Patent Yasası, Türk Ceza Kanunu ve Bilişim Suçları, Fikir ve Sanat Eserlerinin Korunması Kanunu, Korsan Yazılımlar ve Mücadelesi, Polis ve Adli Mercilerle İşbirliği. Olay Yeri Delil Toplama, Saklama, İnceleme ve Sunma, Forensics. CENG 542 Bilgisayar Güvenliği (3-0)3: Bilgisayar Güvenliğine Giriş, Temel Tehdit Tipleri, Zayıflık Analizi, Saldırgan Profil Analizi, İşletim Sistemi Güvenlik Hizmetleri, Güvenli İşletim Sistemi Modelleri, Rainbow Serisi, Orange Book, DoD Standartları, Ağ Güvenliği, Firewall Tasarımı, Veritabanı Güvenliği, Zararlı Yazılımlar, Virüs Tarayıcı Tasarımı ve Kullanım Politikaları, Manyetik ve Akıllı Kart Sistemlerinde Güvenlik. CENG 543 Asimetrik Kriptosistemler (3-0)3: Güvenlik, Doğruluk, Anahtar Paylaşımı ve Özgünlük (Kimlik) Denetimi problemleri, Faktörizasyon tabanlı (RSA), Eliptik Eğri (ECC), Kafes (Lattice) asimetrik kriptosistemler, Rastgele sayı ve Asal sayı üreten algoritmalar, asallık testleri, Öz çıkarımı algoritmaları (MD5-SHA0-SHA1-SHA2), PKI Açık anahtar alt yapısı ve ilişkin modeller, IEEE P1363, Fips , x9.62, x9.63, PKCS#6, x509v3 vb standartlar. 10

11 CENG 544 Kriptanaliz I (3-0)3: Bilgi Teorisinin Temel Prensipleri, Simetrik Ürün Kriptosistemlerin Analizi, Akış Kriptosistemlerin Kriptanalizi, Diferansiyel Kriptanaliz, Lineer Kriptanaliz. CENG 545 Kriptanaliz II (3-0)3: Karmaşa Teorisinin Temel Prensipleri, Asimetrik Kriptosistemlerinin Kriptanalizi, Kriptanalizde Genetik Algoritmalar. CENG 546 C 4 I ve Bilgi Savaşları (3-0)3: Kavramlar, Terminoloji, Komuta-Kontrol-İletişim-Bilgisayar ve İstihbarat ( Command-Control- Communications-Computers and Intelligence C 4 I ) Yapısı, Hedefler ve Tehditler, Siber Uzayda Saldırı ve Önlemler, Ekonomik - Psikolojik ve İstihbarat Savaşları, Bilgi Savaşları Stratejisi, Siber Uzayda İstihbarat ve İstihbarata Karşı Koyma, Siber Terörizm. CENG 547 İleri Ağ Güvenliği (3-0)3: Ağ Güvenliğine Giriş, İletişim Güvenliği ve Temel Şifreleme Teknikleri, Özgünlük Protokolleri, Elektronik Posta Güvenliği, Web Güvenliği, Ağ Yönetim Güvenliği, Ateş Duvarları, Nüfuz Tespit Sistemleri. CENG 548 Nüfuz Tespiti (3-0)3: Bilgisayar Kötü Kullanım Teknikleri, Nüfuz Yönetim Modeli, Ateş Duvarlarının Sınırları, Nüfuz Tespit Modelleri, Değişik Metodolojilerin Nüfuz Tespitine Uygulanması, Nüfuz Tespit Sistemlerinin Sınanması, Nüfuz Yönetim Araçları. CENG 549 Bilgisayar Tabanlı Sayılar Teorisi (3-0)3: Temeller, Kongruans, Denklem ve Üstler İçin Algoritmalar, Euler in Φ Fonksiyonu ve Kodlanması, İkinci Derece Kongruanslar, Asal Sayılar, Kuadratik Kalanlar, Sürekli Kesirler, Asal Sayı Testi Algoritmaları, Büyük Asal Sayı Bulma, Eliptik Eğriler, Faktörizasyon Algoritmaları, Tamsayı Faktörizasyonunda Üstel Metotlar İçin Algoritmalar, Subeksponansiyel Faktörizasyon Algoritmaları, Ayrık Logaritma Hesaplamaları. CENG 550 Güvenlik İçin Formal Yöntemler (3-0)3: Güvenlik özelliklerinin ifadesinde kullanılan dillerin tanıtımı, Güvenlik özelliklerinin analizi için yöntem ve araçlar, Güvenlik özelliklerinin doğrulanmasında ve gerçeklenmesinde kullanılan yöntemler, Formal yöntemlerle doğrulanmış güvenli sistem örnekleri, Alana özel güvenlik protokolleri. CENG 551 Simetrik Kriptosistemler (3-0)3 Gizlilik, Doğruluk, Özgünlük denetimi, kriptografi tarihçesi, Bilgi Kuramının temel kavramları, bellekli ve belleksiz ayrık bilgi kaynağı, gizlilik sistemleri, tekalfabeli yerine koyma, çok alfabeli yerine koyma, permütasyon, klasik rotor sistemleri, yalancı-rasgele-dizi- türeteçleri ve akış şifreleri, blok şifreler, DES-AES simetrik kriptosistemleri, simetrik kriptosistemlerde anahtar yönetimi, birleştirilmiş blok şifreler, simetrik kriptosistem güvenlik mimarileri, simetrik kriptosistem tasarımı ve doğrulaması. ALAN 6 : PARALEL/DAĞITIK İŞLEME CENG 560 Paralel Algoritmalar (3-0)3 Paralel programlama modelleri, paralel mimariler, dağıtık ve paylaşmalı mimariler, halka ve hiperküp üzerinde iletişim işlemleri, paralel programlama dilleri ve ortamları, C*, Occam, PVM, MPI, ipsc Hypercube, paralel matris algoritmaları ve doğrusal denklemler, paralel çizge algoritmaları, iş dağıtımı 11

12 CENG 561 İleri İşletim Sistemleri (3-0)3 İşletim sistemleri, süreç senkkronizasyonu, dağıtık sistemler iletişimi, dağıtık sistemlerde senkronizasyon, dağıtık algoritmalar, dağıtık sistemlerde statik ve dinamik iş dağıtımı, grup iletişimi, hata toleransı, dağıtık gerçek-zamanlı sistemler CENG 562 İleri Algoritmaların Tasarım ve Analizi (3-0)3 Sıralama, heap ve heapsort, dinamik programlama, çizge algoritmaları, Kruskal ve Prim algoritmaları, enfazla akış, matris işlemleri, doğrusal denklem çözümleri, spars matrisler, paralel algoritmalar CENG 563 Gerçek Zamanlı ve Gömülü Sistem Tasarımı (3-0)3 Gerçek-zamanlı sitemlerin mimarisi, gerçek-zamanlı çekirdekler, işdağıtımı ve kaynak yönetimi, gerçekzamanlı diller, gerçek-zamanlı protokoller, dağıtık gerçek-zamanlı sistemler, hata toleransı, dağıtık gerçekzamanlı sistemlerde güvenilirlilik. ALAN 7 : BİLGİ DİZGELERİ CENG 570 İleri Veritaban Yönetim Dizgeleri (3-0)3 İlişkisel kuramı ve uzantıları: ilişkisel hesap, ilişkisel cebir, üst dereceli normal biçimler; ileri veri taban yönetim dizge kavramları: bütünlük, kurtulma, koşul zamanlı, güvenlik, sorgu eniyileştirme; nesneye dayalı veritabanları; dağıtık veri tabanları, ilgili uygulamalar ve tutanaklar: veri çoklama, veri parçalama, eşgüdümleme, yük dağılımı; koşut veritabanları; çıkarsamalı veritabanları; birleştirilmiş veritabanları ve türdeş/türdeş olmayan ALAN 8 : ÇEŞİTLİ KONULAR CENG 580 Bilgisayarlar ve Toplum (3-0)3 Bilimsel ve teknolojik gelişmenin toplumun ekonomik düzeni üzerine etkileri. Tarihten örnekler bilgisayar ve etkileri ile karşılaştırılması. Bilgisayarlar ve bilgisayar sistemlerinin muhtemel kullanım alanları ve bunların etkileyeceği sosyal değişiklikler. CENG 581 Tıp ve Biyolojide Bilgisayar Uygulamaları (3-0)3 Hastane bilgi sistemlerinin analiz ve tasarımı. Biyolojik modelleme ve tıbbi görüntü işleme algoritmalarının matematiksel, fiziksel ve fizyolojik temelleri. Beyin, kalp, sinir sistemi ve duyu organları gibi organların bilgisayarda modellemesine ilişkin konular. CENG 582 Mühendislik Problemlerinin Bilgisayar Çözümleri (3-0)3 Eliptik, parabolik ve hiperbolik kısmi diferansiyel denklemlerin Sonlu Farklar ve Sonlu Elemanlar yöntemleriyle çözümleri; eigendeğer problemleri. Gündelik mühendislik problemleri uygulamaları. CENG 583 Bilgisayar Bilimlerinde Çeşitli Konular (3-0)3 Bilgisayar Bilimlerinin ileri konularından seçilen çeşitli konular seminer ortamında kapsanacaktır. 12

13 ALAN 9 : KREDİSİZ DERSLER CENG 590 Seminer (0-2) Bu seminer dersi, yüksek lisans tezi konusunda çalışan tüm yüksek lisans öğrencileri tarafından alınmak zorundadır. Dersi alan öğrenciler, tez hakkında sunum yapmak ve gelişme ve sonuç raporları hazırlamak zorundadır. CENG 591 Yüksek Lisans Tezi (0-1)Kredisiz Yüksek lisans derecesi için araştırma yönetimi programı, öğrenci ve fakülte üyesi arasında ayarlanmış. Tez araştırmasını veya tezin yazımını başlamasının ikinci döneminden itibaren her dönem öğrenciler bu dersi alır. CENG 8XX Uzmanlık Alanı Dersi (4-0)Kredisiz Yüksek lisans öğrencileri belli bir konu seçip genelinde kendi tez danışmanları olan bir öğretim üyesinin yönlendirmesiyle o konuyu inceler. CENG 9XX Uzmanlık Alanı Dersi (4-0)Kredisiz Lisansüstü öğrencileri bir grup halinde ya da bir doktora öğrencisinin ileri araştırma konuları seçip genelinde kendi tez danışmanları olan bir öğretim üyesinin yönlendirmesiyle seçilen konuları inceler. 13

14 Ders Kodları Kodlama yapısı Bölüm Kodu CENG X X X 1. basamak: yılı belirtir 2. basamak: ders alanlarını belirtir 0 Optimizasyon 1 İstatistik, Modelleme 2 Yapay Us, Yazılımla Hesaplama 3 Sayısal Görüntü İşleme 4 Strateji ve Güvenlik 6 Paralel Dağıtık İşleme 7 Bilgi Dizgeleri 8 Çeşitli Konular 9 Kredisiz Dersler 3. basamak: Seçilen alanın kaçıncı dersi olduğunu belirtir. Örnek: 1. CENG 513 : 5. yıl, İstatistik, Modelleme alanı, alanın 3. Dersi. 2. CENG 542 : 5. yıl, Strateji ve Güvenlik Alanı, alanın 2. Dersi