Matematički modeli sigurnosti

Osnovne operacija s cijelim brojevima, Ishodi: 1 Boolova algebra, Ishodi: 1 Indukcija i rekuzija, Ishodi: 1,5 Kriptografija i teorija brojeva, Ishodi: 1 HASH funkcija, Ishodi: 1 Grafovi i Stabla, Ishodi: 2 Teorija podudaranja i Bojanja , Ishodi: 2 Formalni jezici, Ishodi:1, 3 Regularni skupovi i izrazi, Ishodi: 3 Automati , Ishodi: 3 Algoritmi za randomizaciju, Ishodi: 4 Algoritmi za validaciju programskog koda Ishod 4 Vjerojatnost, Ishodi: 4 Logički iskazi i Dokazi, Ishodi: 5 Poopćavanje i generalizacija modela sigurnosti , ¸ Ishodi: 5, 6

1. pripremiti Primijeniti diskretne matematičke strukture u analizi informacijske sigurnosti
2. formulirati / oblikovati Primijeniti algoritme teorije grafova na forenziku društvenih mreža
3. sastaviti (prijedlog / rješenje) Razumije i primjenjuje regularne izraze primijeniti ih u digitalnoj forenzici
4. razviti Razumjeti modele za kontrolu toka informacija
5. razviti Primijeniti logičke modele na dokaze korektnosti programa
6. planirati Organizirati matematičke modele informacijske sigurnosti

Obavezna literatura

• Dujela, Diskretna matematika, skripta
  Haggard & all, Dicrete mathematics for Computer Science, Thompson, ISBN 0-534-49501-X
  Kenneth Rosen, Discrete mathematics and its Application, McGraw Hill, ISBN 978-0-07-338309-5
  Ćirić, Diskretna matematika OSNOVE KOMBINATORIKE I TEORIJE GRAFOVA, skripta 2007
  EC-Council Press,Computer Forensics: Investigating File and Operating Systems, Wireless Networks and Storage, EC-Council Press, 9781305883482, 2016
  S. Geetha,Combating Security Breaches and Criminal Activity in the Digital Sphere ,IGI Global,978-1522501930, 2016
  Dr. Philip Polstra,Windows Forensics,Pentester Academy, 2016