Kriptologija. Savršena bezbednost
|
|
|
- Elijah Black
- 5 years ago
- Views:
Transcription
1 Kriptologija Savršena bezbednost
2 Savršena bezbednost Šifarski sistem je računarski bezbedan (computationally secure) (praktično tajan) ako: Cena razbijanja šifrata prevazilazi vrednost šifrovane informacije Vreme potrebno za razbijanje šifrata je duže od vremena u kom informacija treba da bude tajna Problem (kako to odrediti?) Šifarski sistem je Bezuslovno bezbedan (apsolutno tajan) ako ne može da bude razbijen ni uz primenu neograničenih računarskih resursa
3 Bezuslovno bezbedna šifara? Klasične šifre koje su prethodno pominjane imaju slabosti razbijene su. Neke od njih su bile bezbedne u jednom delu vremena kada su korišćene Čekalo se na razvoj nauke, tehnologije... Bezuslovno bezbedna šifra: Ne može se doći do otv. teksta iz šifrata bez poznavanja ključa, čak ni potpunom pretragom ključeva Potpuna pretraga ne pomaže jer su svi mogući otvoreni tekstovi jednako verovatni
4 Dodatak Sabiranje po modulu 2 (XOR) Šifrovanje: Dešifrovanje:
5 One-time Pad (ОТР) Gilbert Vernam и Joseph Mauborgne 1917 Šifra sa jednokratnim ključem Postoji matematički dokaz o savršenoj bezbednosti šifre! Ni jedna druga šifra koja će biti razmatrana nema ovu osobinu Zašto se onda ne koristi samo ona? Veoma je nepraktična za opštu primenu Ima veliku primenu za najviše nivoe bezbedosti
6 One-time Pad nastavak Pretpostavimo da imamo alfabet od 8 slova (e, h, i, k, l, r, s, t) Svakom slovu se može dodeliti odgovarajući binarni kôd e = 000, h = 001, i = 010, k = 011,, t = 111 Kôd nije tajna (može biti ASCII,...) Neka je Alisa špijun i treba da šifruje poruku: heilhitler Prvo poruku predstavlja binarnim nizom Potreban je ključ (neki drugi binarni niz) iste dužine kao i poruka
7 One-time Pad - Šifrovanje e=000 h=001 i=010 k=011 l=100 r=101 s=110 t=111 Šifrovanje: otv. tekst ključ = šifrat Otv. tekst: Ključ: Šifrat: h e i l h i t l e r s r l h s s t h s r
8 One-time Pad - Dešifrovanje e=000 h=001 i=010 k=011 l=100 r=101 s=110 t=111 Dešifrovanje: šifrat Ključ = otv. tekst Šifrat: Ključ: Otv. tekst: s r l h s s t h s r h e i l h i t l e r
9 One-time Pad nastavak Dvostruki agent tvrdi da je korišćen ključ : Šifrat: ključ : Otv. tekst : s r l h s s t h s r k i l l h i t l e r e=000 h=001 i=010 k=011 l=100 r=101 s=110 t=111
10 One-time Pad nastavak Uhapšen je pošiljalac i on tvrdi da je ključ : Šifrat: ključ : otv.tekst : s r l h s s t h s r h e l i k e s i k e e=000 h=001 i=010 k=011 l=100 r=101 s=110 t=111
11 Dokaz bezbednosti Kako možemo da tvrdimo da OTR ne može da se razbije? Bezbednost se zasniva na slučajnosti ključa! Teško je definisati pojam slučajnosti Sa kriptografskog stanovišta, zahtevaju se 2 osnovna svojstva binarnog slučajnog ključa: 1. Nepredvidivost: Nezavisno od broja bita (ključa) koji su poznati, verovatnoća pogađanja sledećeg bita nije veća od ½. Verovatnoća da određeni bit bude 1 ili 0 tačno je jednaka ½. 2. Balansiranost: Broj "1" i "0" mora biti jednak...
12 Matematički dokaz Verovatnoća da bit ključa bude "1" ili "0" je 1/2 Otv. tekst nije balansiran. Neka je verovatnoća pojave "0" x, a pojave "1" 1-x Verovatnoća pojave bita u šifratu: - Verovatnoća da bit šifrata bude "0" je: (½)x + (½)(1-x) = ½. Verovatnoća da bit šifrata bude "1" je: (½)x + (½)(1-x) = ½. - Šifrat je slučajan niz
13 OTP - ponavljanje ključa? Neka postoje dva ot. teksta P 1 i P 2 i neka se šifruju istim ključem K Dobijaju se šifrati: C 1 = P 1 K i C 2 = P 2 K Kriptoanaliza: C 1 C 2 = P 1 K P 2 K= P 1 P 2 Ključ više nema ulogu!
14 Neka su: OTP - ponavljanje ključa? nastavak Pretpostavka (Trudi) Pretpostavka je loša, ali smanjuje skup ključeva! Ponovo pretpostavlja...
15 One-time Pad Sažetak Dokazivo je bezbedna, kada se koristi po definisanim pravilima Šifrat ne daje nikakvu informaciju o otvorenom tekstu Svaki otv. tekst iste dužine je podjednako verovatan Ključ mora biti slučajan, može se koristiti samo jedanput Ključ je poznat samo pošiljaocu i primaocu Ključ je iste dužine kao i poruka Mehanizam integriteta ne postoji Zašto se poruke ne šalju na isti način kao i ključevi?
16 One-time Pad Sažetak Apriorna verovatnoća otvorene poruke P Aposteriorna verovatnoća otvorene poruke P kada je poznat šifrat C Matematički: H(P)=H(P C) gde je: H(P) entropija otvorene poruke, H(P C) uslovna entropija otvorene poruke P, kada je poznat šifrat C
17 Kodne knjige Pojednostavljeno: rečnik koji uparuje reči (fraze) i kodne oznake Reč: Februar, kodna oznaka: Preciznije, 2 kodne knjige, 1 za šifrovanje i 1 za dešifrovanje Ključ: kodna knjiga Bezbednost šifarskog sistema se zasniva na fizičkoj bezbednosti kodne knjige Kodne knjige su imale veliku primenu u II s.r. Neke savremene šifre su zasnovane na ovom principu
18 Kodne knjige nastavak Cimermanov telegram je šifrovan kodnom knjigom Februar fest finanzielle folgender Frieden Friedenschluss17149 : : nemački ministar spoljnih poslova je pozvao Meksikance da napadnu SAD (I s.r.) SAD su bile neutralne do tog momenta
19 Cimermanov telegram Jedna od najpoznatijih kodnih knjiga u istoriji sveta Dešifrovanje: povod za ulazak SAD u I s.r. Na slici je prikazan originalni šifrat
20 Dešifrovan Cimermanov telegram Britanci su uz pomoć Rusa delom rekonstruisali oštećenu kodnu knjigu Dešifrovali delove telgrama
21 Kodne knjige nastavak Kodne knjige su podložne statističkoj analizi Slično kao i kod šifara zamene, ali je za napad potrebno mnogo više šifrata U toku II s.r. kodne knjige su bile veoma popularne, zamena je skupa i teško izvodljiva Da bi ostale u upotrebi uvedene su dodatne (aditivne) kodne knjige
22 Aditivne kodne knjige Aditivna kodna knjiga je dodatna knjiga koja sadrži mnogo "slučajnih" brojeva Sekvence "slučajnih" brojeva se sabiraju sa kodnim rečima i formiraju konačni šifrat Početna pozicija iz aditivne knjige treba da se dogovori između pošiljaoca i primaoca Uzeti kod iz kodne knjige Sabrati sa aditivnom Otv. tekst Kodna reč Šifrat
23 Aditivne kodne knjige nastavak Početno mesto u kodnoj knjizi, određuje pošiljalac Početno mesto se šalje nezaštićeno ("otvoreno") uz šifrat indikator poruke - message indicator (MI) MI informacije (osim ključa) potrebne za dešifrovanje Savremeni izraz: initialization vector (IV) Kako ovaj postupak povećava sigirnost kodne knjige? Ako se MI koristi samo jedamput, šifra postaje One-time Pad, ali ako se koristi više puta...
24 Почетак XX века Велики утицај криптологије на политику I s.r. - Cimermanov telegram II s.r. - zlatno doba kriptoanalize, pobeda nad kriptografima Japanska JN-25 (ratna mornarica) Japanska Purple (kodno ime MAGIC) Nemačka Enigma (kodno ime ULTRA) Za kriptoanalizu se koriste računari (Kolos, Tomi Flavers)
25 Posle II s.r. Klod Šenon (Claude Shannon) otac teorije informacija Razvoj računara, upotreba u kriptografiji Data Encryption Standard (DES), 70-ih Public Key kriptografija, 70-ih CRYPTO konferencije 80-ih Advanced Encryption Standard (AES), 90-ih Kriptologija kao nauka postaje javna, Ali...
26 Klod Šenon ( ) Osnivač Teorije informacija rad Communication Theory of Secrecy Systems Bell Systems Technical Journal Konfuzija i difuzija Konfuzija - složena relacija između otv. teksta i šifrata Difuzija - menjanje statistike otv. teksta kroz šifrat Dokaz da je one-time pad bezbedna šifra
27 Kriptoanaliza: Sažetak Potpuna pretraga ključa Podeli pa vladaj Statistička analiza Iskoristiti linearnost Iskoristiti sve moguće slabosti Kriptoanaliza sve je dozvoljeno!!!
28 Linkovi mepad.php /papers/otp-faq/
29 Hvala na pažnji Pitanja
Projektovanje paralelnih algoritama II
Projektovanje paralelnih algoritama II Primeri paralelnih algoritama, I deo Paralelni algoritmi za množenje matrica 1 Algoritmi za množenje matrica Ovde su data tri paralelna algoritma: Direktan algoritam
TEORIJA SKUPOVA Zadaci
TEORIJA SKUPOVA Zadai LOGIKA 1 I. godina 1. Zapišite simbolima: ( x nije element skupa S (b) d je član skupa S () F je podskup slupa S (d) Skup S sadrži skup R 2. Neka je S { x;2x 6} = = i neka je b =
Slika 1. Slika 2. Da ne bismo stalno izbacivali elemente iz skupa, mi ćemo napraviti još jedan niz markirano, gde će
Permutacije Zadatak. U vreći se nalazi n loptica različitih boja. Iz vreće izvlačimo redom jednu po jednu lopticu i stavljamo jednu pored druge. Koliko različitih redosleda boja možemo da dobijemo? Primer
Red veze za benzen. Slika 1.
Red veze za benzen Benzen C 6 H 6 je aromatično ciklično jedinjenje. Njegove dve rezonantne forme (ili Kekuléove structure), prema teoriji valentne veze (VB) prikazuju se uobičajeno kao na slici 1 a),
Mathcad sa algoritmima
P R I M J E R I P R I M J E R I Mathcad sa algoritmima NAREDBE - elementarne obrade - sekvence Primjer 1 Napraviti algoritam za sabiranje dva broja. NAREDBE - elementarne obrade - sekvence Primjer 1 POČETAK
Uvod u relacione baze podataka
Uvod u relacione baze podataka Ana Spasić 2. čas 1 Mala studentska baza dosije (indeks, ime, prezime, datum rodjenja, mesto rodjenja, datum upisa) predmet (id predmeta, sifra, naziv, bodovi) ispitni rok
KLASIFIKACIJA NAIVNI BAJES. NIKOLA MILIKIĆ URL:
KLASIFIKACIJA NAIVNI BAJES NIKOLA MILIKIĆ EMAIL: nikola.milikic@fon.bg.ac.rs URL: http://nikola.milikic.info ŠTA JE KLASIFIKACIJA? Zadatak određivanja klase kojoj neka instanca pripada instanca je opisana
Rešenja zadataka za vežbu na relacionoj algebri i relacionom računu
Rešenja zadataka za vežbu na relacionoj algebri i relacionom računu 1. Izdvojiti ime i prezime studenata koji su rođeni u Beogradu. (DOSIJE WHERE MESTO_RODJENJA='Beograd')[IME, PREZIME] where mesto_rodjenja='beograd'
Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku
Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Marija Brnatović Blok šifre i DES-kriptosustav Diplomski rad Osijek, 2012. Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Marija
Algoritam za množenje ulančanih matrica. Alen Kosanović Prirodoslovno-matematički fakultet Matematički odsjek
Algoritam za množenje ulančanih matrica Alen Kosanović Prirodoslovno-matematički fakultet Matematički odsjek O problemu (1) Neka je A 1, A 2,, A n niz ulančanih matrica duljine n N, gdje su dimenzije matrice
PRIPADNOST RJEŠENJA KVADRATNE JEDNAČINE DANOM INTERVALU
MAT KOL Banja Luka) ISSN 0354 6969 p) ISSN 1986 58 o) Vol. XXI )015) 105 115 http://www.imvibl.org/dmbl/dmbl.htm PRIPADNOST RJEŠENJA KVADRATNE JEDNAČINE DANOM INTERVALU Bernadin Ibrahimpašić 1 Senka Ibrahimpašić
Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike. Školska kriptografija
Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Antonija Živković Školska kriptografija Završni rad Osijek, 2014. Sveučilište J. J. Strossmayera u Osijeku Odjel
ZANIMLJIV NAČIN IZRAČUNAVANJA NEKIH GRANIČNIH VRIJEDNOSTI FUNKCIJA. Šefket Arslanagić, Sarajevo, BiH
MAT-KOL (Banja Luka) XXIII ()(7), -7 http://wwwimviblorg/dmbl/dmblhtm DOI: 75/МК7A ISSN 5-6969 (o) ISSN 986-588 (o) ZANIMLJIV NAČIN IZRAČUNAVANJA NEKIH GRANIČNIH VRIJEDNOSTI FUNKCIJA Šefket Arslanagić,
Topics. Probability Theory. Perfect Secrecy. Information Theory
Topics Probability Theory Perfect Secrecy Information Theory Some Terms (P,C,K,E,D) Computational Security Computational effort required to break cryptosystem Provable Security Relative to another, difficult
Asimetrični kriptografski RSA algoritam
Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Igor Jakopiček Asimetrični kriptografski RSA algoritam Diplomski rad Osijek, 2010. Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku
SHEME DIGITALNOG POTPISA
SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Jelena Hunjadi SHEME DIGITALNOG POTPISA Diplomski rad Voditelj rada: izv. prof. dr. sc. Zrinka Franušić Zagreb, 2016. Ovaj diplomski
Primena Katalanovih brojeva i nekih kombinatornih problema u kriptografiji
UNIVERZITET SINGIDUNUM U BEOGRADU FAKULTET ZA INFORMATIKU I RAČUNARSTVO nekih kombinatornih problema u kriptografiji Diplomski rad Mentor: Doc. dr Saša Adamović Student: Muzafer Saračević Br. indeksa:
Monoalfabetske supstitucijske šifre
Sveučilište J.J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni diplomski studij matematike - financijska matematika i statistika Lea Božić Monoalfabetske supstitucijske šifre Diplomski rad Osijek,
AIR CURTAINS VAZDU[NE ZAVESE V H
AIR CURTAINS V 15.000 H 21.000 KLIMA Co. 2 KLIMA Co. Flow and system stress should be known factors in air flow. The flow is gas quantity flowing through the system during given time unit and is measured
Iskazna logika 1. Matematička logika u računarstvu. oktobar 2012
Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia oktobar 2012 Iskazi, istinitost, veznici Intuitivno, iskaz je rečenica koja je ima tačno jednu jednu
Osobine metode rezolucije: zaustavlja se, pouzdanost i kompletnost. Iskazna logika 4
Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia novembar 2012 Rezolucija 1 Metod rezolucije je postupak za dokazivanje da li je neka iskazna (ili
Lecture Notes. Advanced Discrete Structures COT S
Lecture Notes Advanced Discrete Structures COT 4115.001 S15 2015-01-27 Recap ADFGX Cipher Block Cipher Modes of Operation Hill Cipher Inverting a Matrix (mod n) Encryption: Hill Cipher Example Multiple
Zadatci sa ciklusima. Zadatak1: Sastaviti progra koji određuje z ir prvih prirod ih rojeva.
Zadatci sa ciklusima Zadatak1: Sastaviti progra koji određuje z ir prvih prirod ih rojeva. StrToIntDef(tekst,broj) - funkcija kojom se tekst pretvara u ceo broj s tim da je uvedena automatska kontrola
ANALYSIS OF THE RELIABILITY OF THE "ALTERNATOR- ALTERNATOR BELT" SYSTEM
I. Mavrin, D. Kovacevic, B. Makovic: Analysis of the Reliability of the "Alternator- Alternator Belt" System IVAN MAVRIN, D.Sc. DRAZEN KOVACEVIC, B.Eng. BRANKO MAKOVIC, B.Eng. Fakultet prometnih znanosti,
Fraktali - konačno u beskonačnom
Prirodno-Matematički fakultet, Niš. dexterofnis@gmail.com www.pmf.ni.ac.rs/dexter Nauk nije bauk, 2011 Sadržaj predavanja 1 Sadržaj predavanja 1 2 Sadržaj predavanja 1 2 3 Box-Counting dimenzija Hausdorfova
DES I AES. Ivan Nad PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK. Diplomski rad. Voditelj rada: doc.dr.sc.
SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Nad DES I AES Diplomski rad Voditelj rada: doc.dr.sc. Zrinka Franušić Zagreb, srpanj, 2014. Ovaj diplomski rad obranjen
Uvod u analizu (M3-02) 05., 07. i 12. XI dr Nenad Teofanov. principle) ili Dirihleov princip (engl. Dirichlet box principle).
Uvod u analizu (M-0) 0., 07. i. XI 0. dr Nenad Teofanov. Kardinalni broj skupa R U ovom predavanju se razmatra veličina skupa realnih brojeva. Jasno, taj skup ima beskonačno mnogo elemenata. Pokazaće se,
MATEMATIČKE METODE U KRIPTOGRAFIJI
SVEUČILIŠTE JOSIPA JURJA STROSSMAYERA U OSIJEKU FAKULTET ELEKTROTEHNIKE, RAČUNARSTVA I INFORMACIJSKIH TEHNOLOGIJA Stručni studij elektrotehnike: Informatika MATEMATIČKE METODE U KRIPTOGRAFIJI Završni rad
Termodinamika. FIZIKA PSS-GRAD 29. studenog Copyright 2015 John Wiley & Sons, Inc. All rights reserved.
Termodinamika FIZIKA PSS-GRAD 29. studenog 2017. 15.1 Thermodynamic Systems and Their Surroundings Thermodynamics is the branch of physics that is built upon the fundamental laws that heat and work obey.
Asian Journal of Science and Technology Vol. 4, Issue 08, pp , August, 2013 RESEARCH ARTICLE
Available Online at http://www.journalajst.com ASIAN JOURNAL OF SCIENCE AND TECHNOLOGY ISSN: 0976-3376 Asian Journal of Science and Technology Vol. 4, Issue 08, pp.037-041, August, 2013 RESEARCH ARTICLE
Konstrukcija i analiza algoritama
Konstrukcija i analiza algoritama 27. februar 207 Matematička indukcija Princip matematičke indukcije: Da bi za svako n N važilo tvrdjenje T (n) dovoljno je pokazati: bazu indukcije: tvrdjenje T () induktivni
DISTRIBUIRANI ALGORITMI I SISTEMI
Postavka 7: međusobno isključivanje sa read/write promenljivama 1 DISTRIBUIRANI ALGORITMI I SISTEMI Iz kursa CSCE 668 Proleće 2014 Autor izvorne prezentacije: Prof. Jennifer Welch Read/Write deljene promenljive
HIBRIDNI KRIPTOSUSTAVI
SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Josip Iveković HIBRIDNI KRIPTOSUSTAVI Diplomski rad Voditelj rada: prof. dr. sc. Andrej Dujella Zagreb, rujan 2014 Ovaj diplomski
DYNAMIC HEAT TRANSFER IN WALLS: LIMITATIONS OF HEAT FLUX METERS
DYNAMI EAT TRANFER IN WALL: LIMITATION OF EAT FLUX METER DINAMIČKI PRENO TOPLOTE U ZIDOVIMA: OGRANIČENJA MERAČA TOPLOTNOG PROTOKA (TOPLOTNOG FLUKA) 1 I. Naveros a, b,. Ghiaus a a ETIL UMR58, INA-Lyon,
Metrički prostori i Riman-Stiltjesov integral
Metrički prostori i Riman-Stiltjesov integral Sadržaj 1 Metrički prostori 3 1.1 Primeri metričkih prostora................. 3 1.2 Konvergencija nizova i osobine skupova...................... 12 1.3 Kantorov
Introduction to Cryptography
T H E U N I V E R S I T Y O F B R I T I S H C O L U M B I A Introduction to Cryptography EECE 412 1 Module Outline Historical background Classic ciphers One-time pad The Random Oracle model Random functions:
Symmetric Crypto Systems
T H E U N I V E R S I T Y O F B R I T I S H C O L U M B I A Symmetric Crypto Systems EECE 412 Copyright 2004-2012 Konstantin Beznosov 1 Module Outline! Stream ciphers under the hood Block ciphers under
BLAST-INDUCED DAMAGE AND ITS IMPACT ON STRUCTURAL STABILITY OF UNDERGROUND EXCAVATIONS UTICAJ MINIRANJA NA STRUKTURNU STABILNOST PODZEMNIH PROSTORIJA
UNDERGROUND MINING ENGINEERING 29 (2016) 33-42 UDK 62 UNIVERSITY OF BELGRADE - FACULTY OF MINING AND GEOLOGY YU ISSN 03542904 Original scientific paper BLAST-INDUCED DAMAGE AND ITS IMPACT ON STRUCTURAL
Programiranje u realnom vremenu Bojan Furlan
Programiranje u realnom vremenu Bojan Furlan Tri procesa sa D = T imaju sledeće karakteristike: Proces T C a 3 1 b 6 2 c 18 5 (a) Pokazati kako se može konstruisati ciklično izvršavanje ovih procesa. (b)
Metode praćenja planova
Metode praćenja planova Klasična metoda praćenja Suvremene metode praćenja gantogram mrežni dijagram Metoda vrednovanja funkcionalnosti sustava Gantogram VREMENSKO TRAJANJE AKTIVNOSTI A K T I V N O S T
BROJEVNE KONGRUENCIJE
UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Vojko Nestorović BROJEVNE KONGRUENCIJE - MASTER RAD - Mentor, dr Siniša Crvenković Novi Sad, 2011. Sadržaj Predgovor...............................
ZANIMLJIVI ALGEBARSKI ZADACI SA BROJEM 2013 (Interesting algebraic problems with number 2013)
MAT-KOL (Banja Luka) ISSN 0354-6969 (p), ISSN 1986-5228 (o) Vol. XIX (3)(2013), 35-44 ZANIMLJIVI ALGEBARSKI ZADACI SA BROJEM 2013 (Interesting algebraic problems with number 2013) Nenad O. Vesi 1 Du²an
ALGORITAM FAKTORIZACIJE GNFS
SVEUČILIŠTE U ZAGREBU FAKULTET ELEKTROTEHNIKE I RAČUNARSTVA ALGORITAM FAKTORIZACIJE GNFS Ivan Fratrić Seminar iz predmeta Sigurnost računalnih sustava ZAGREB, Sažetak Faktorizacija brojeva jedan je od
O aksiomu izbora, cipelama i čarapama
O aksiomu izbora, cipelama i čarapama Aksiom izbora može se izreći u raznim ekvivalentnim formama. Dokazi ekvivalencije aksioma izbora npr. sa Zornovom lemom, ili pak sa Zermelovim teoremom o dobrom uredaju,
REVIEW OF GAMMA FUNCTIONS IN ACCUMULATED FATIGUE DAMAGE ASSESSMENT OF SHIP STRUCTURES
Joško PAUNOV, Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Ivana Lučića 5, H-10000 Zagreb, Croatia, jparunov@fsb.hr Maro ĆOAK, Faculty of Mechanical Engineering and Naval
Grafovi. Osnovni algoritmi sa grafovima. Predstavljanje grafova
Grafovi Osnovni algoritmi sa grafovima U ovom poglavlju će biti predstavljene metode predstavljanja i pretraživanja grafova. Pretraživanja grafa podrazumeva sistematično kretanje vezama grafa, tako da
Ksenija Doroslovački KOMBINATORIKA INTERPRETIRANA FUNKCIJAMA I NJIHOVIM OSOBINAMA MASTER RAD. NOVI SAD jun 2008
1 Ksenija Doroslovački KOMBINATORIKA INTERPRETIRANA FUNKCIJAMA I NJIHOVIM OSOBINAMA MASTER RAD NOVI SAD jun 2008 2 Sadržaj 1 UVOD 5 2 FUNKCIJE 11 3 KLASIČNI KOMBINATORNI OBJEKTI 17 4 NEKI NEKLASIČNI KOMBINATORNI
Pitagorine trojke. Uvod
Pitagorine trojke Uvod Ivan Soldo 1, Ivana Vuksanović 2 Pitagora, grčki filozof i znanstvenik, često se prikazuje kao prvi pravi matematičar. Ro - den je na grčkom otoku Samosu, kao sin bogatog i zaslužnog
NIPP. Implementing rules for metadata. Ivica Skender NSDI Working group for technical standards.
Implementing rules for metadata Ivica Skender NSDI Working group for technical standards ivica.skender@gisdata.com Content Working group for technical standards INSPIRE Metadata implementing rule Review
MREŽNI DIJAGRAMI Planiranje
MREŽNI DIJAGRAMI Planiranje 1 Mrežno planiranje se zasniva na grafičkom prikazivanju aktivnosti usmerenim dužima. Dužina duži nema značenja, a sa dijagrama se vidi međuzavisnost aktivnosti. U mrežnom planiranju
Chapter 2 : Perfectly-Secret Encryption
COMP547 Claude Crépeau INTRODUCTION TO MODERN CRYPTOGRAPHY _ Second Edition _ Jonathan Katz Yehuda Lindell Chapter 2 : Perfectly-Secret Encryption 1 2.1 Definitions and Basic Properties We refer to probability
Napredni standard enkripcije (AES)
UNIVERZITET CRNE GORE Prirodno-matematički fakultet Podgorica Dušan Radoičić Napredni standard enkripcije (AES) Specijalistički rad Podgorica, 2013. UNIVERZITET CRNE GORE Prirodno-matematički fakultet
MATHEMATICAL ANALYSIS OF PERFORMANCE OF A VIBRATORY BOWL FEEDER FOR FEEDING BOTTLE CAPS
http://doi.org/10.24867/jpe-2018-02-055 JPE (2018) Vol.21 (2) Choudhary, M., Narang, R., Khanna, P. Original Scientific Paper MATHEMATICAL ANALYSIS OF PERFORMANCE OF A VIBRATORY BOWL FEEDER FOR FEEDING
Fajl koji je korišćen može se naći na
Machine learning Tumačenje matrice konfuzije i podataka Fajl koji je korišćen može se naći na http://www.technologyforge.net/datasets/. Fajl se odnosi na pečurke (Edible mushrooms). Svaka instanca je definisana
DISKRETNI LOGARITAM. 1 Uvod. MAT-KOL (Banja Luka) ISSN (p), ISSN (o) Vol. XVII (2)(2011), 43-52
MAT-KOL (Banja Luka) ISSN 0354-6969 (p), ISSN 1986-5228 (o) Vol. XVII (2)(2011), 43-52 DISKRETNI LOGARITAM Bernadin Ibrahimpašić 1, Dragana Kovačević 2 Abstract U ovom članku se opisuje pojam diskretnog
PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK. Marina Zrno KOMUTATIVNI PRSTENI. Diplomski rad. Voditelj rada: prof.dr.sc.
SVEUČ ILIŠ TE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Marina Zrno KOMUTATIVNI PRSTENI Diplomski rad Voditelj rada: prof.dr.sc. Ozren Perše Zagreb, 2014 Ovaj diplomski rad obranjen
A NEW THREE-DIMENSIONAL CHAOTIC SYSTEM WITHOUT EQUILIBRIUM POINTS, ITS DYNAMICAL ANALYSES AND ELECTRONIC CIRCUIT APPLICATION
A. Akgul, I. Pehlivan Novi trodimenzijski kaotični sustav bez točaka ekvilibrija, njegove dinamičke analize i primjena elektroničkih krugova ISSN 1-61 (Print), ISSN 1848-69 (Online) DOI: 1.179/TV-1411194
Fibonaccijev brojevni sustav
Fibonaccijev brojevni sustav Ljerka Jukić asistentica Odjela za matematiku Sveučilišta u Osijeku, ljukic@mathos.hr Helena Velić studentica Odjela za matematiku Sveučilišta u Osijeku, hvelic@mathos.hr Sažetak
Cryptographic Engineering
Cryptographic Engineering Clément PERNET M2 Cyber Security, UFR-IM 2 AG, Univ. Grenoble-Alpes ENSIMAG, Grenoble INP Outline Unconditional security of symmetric cryptosystem Probabilities and information
VELOCITY PROFILES AT THE OUTLET OF THE DIFFERENT DESIGNED DIES FOR ALUMINIUM EXTRUSION
VELOCITY PROFILES AT THE OUTLET OF THE DIFFERENT DESIGNED DIES FOR ALUMINIUM EXTRUSION J.Caloska, J. Lazarev, Faculty of Mechanical Engineering, University Cyril and Methodius, Skopje, Republic of Macedonia
Matrice u Maple-u. Upisivanje matrica
Matrice u Maple-u Tvrtko Tadić U prošlom broju upoznali ste se s matricama, a u ovom broju vidjeli ste neke njihove primjene. Mnoge je vjerojatno prepalo računanje s matricama. Pa tko će raditi svo to
FIZIKALNA KOZMOLOGIJA VII. VRLO RANI SVEMIR & INFLACIJA
FIZIKALNA KOZMOLOGIJA VII. VRLO RANI SVEMIR & INFLACIJA KOZMIČKI SAT ranog svemira Ekstra zračenje u mjerenju CMB Usporedba s rezultatima LEP-a Usporedba CMB i neutrina Vj.: Pozadinsko zračenje neutrina
Matematika (PITUP) Prof.dr.sc. Blaženka Divjak. Matematika (PITUP) FOI, Varaždin
Matematika (PITUP) FOI, Varaždin Dio II Bez obzira kako nam se neki teorem činio korektnim, ne možemo biti sigurni da ne krije neku nesavršenost sve dok se nam ne čini prekrasnim G. Boole The moving power
TemidaLib sistem za rad sa velikim brojevima TemidaLib Multiprecision Arithmetic Library
TemidaLib sistem za rad sa velikim brojevima TemidaLib Multiprecision Arithmetic Library Jelena Tomašević i Milena Vujošević-Janičić Matematički fakultet, Univerzitet u Beogradu Studentski trg 16, 11000
Nekoliko kombinatornih dokaza
MAT-KOL (Banja Luka) ISSN 0354-6969 (p), ISSN 1986-5228 (o) http://www.imvibl.org/dmbl/dmbl.htm Vol. XXII (2)(2016), 141-147 Nekoliko kombinatornih dokaza Duško Jojić Prirodno-matematički fakultet, Univerzitet
Asocijativna polja POGLAVLJE Ključevi kao cijeli brojevi
POGLAVLJE 7 Asocijativna polja U ovom poglavlju promotrit ćemo poopćenje strukture podataka polja. Upoznali smo se s činjenicom da se elementima polja efikasno pristupa poznavajući cjelobrojni indeks određenog
THE BOUNDARY VALUES OF THE PUNCH DIAMETER IN THE TECHNOLOGY OF THE OPENING MANUFACTURE BY PUNCHING UDC
FACTA UNIVERSITATIS Series: Mechanical Engineering Vol.1, N o 7, 2000, pp. 887-891 THE BOUNDARY VALUES OF THE PUNCH DIAMETER IN THE TECHNOLOGY OF THE OPENING MANUFACTURE BY PUNCHING UDC 621.962 621.744.52
NAPREDNI FIZIČKI PRAKTIKUM 1 studij Matematika i fizika; smjer nastavnički MJERENJE MALIH OTPORA
NAPREDNI FIZIČKI PRAKTIKUM 1 studij Matematika i fizika; smjer nastavnički MJERENJE MALIH OTPORA studij Matematika i fizika; smjer nastavnički NFP 1 1 ZADACI 1. Mjerenjem geometrijskih dimenzija i otpora
24. Balkanska matematiqka olimpijada
4. Balkanska matematika olimpijada Rodos, Gka 8. apil 007 1. U konveksnom etvoouglu ABCD vaжi AB = BC = CD, dijagonale AC i BD su azliite duжine i seku se u taki E. Dokazati da je AE = DE ako i samo ako
Maja Antolović Algoritmi u teoriji brojeva
Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Maja Antolović Algoritmi u teoriji brojeva Završni rad Osijek, 2017. Sveučilište J.J.Strossmayera u Osijeku Odjel
Mersenneovi i savršeni brojevi
Sveučilište J.J. Strossmayera u Osijeku Odjel za matematiku Diplomski studij matematike Ana Maslać Mersenneovi i savršeni brojevi Diplomski rad Osijek, 2012. Sveučilište J.J. Strossmayera u Osijeku Odjel
ALGORITMI ZA ISPITIVANJE DJELJIVOSTI
SVEUČILIŠTE JOSIPA JURJA STROSSMAYERA U OSIJEKU FAKULTET ELEKTROTEHNIKE, RAČUNARSTVA I INFORMACIJSKIH TEHNOLOGIJA Preddiplomski stručni studij Elektrotehnika, smjer Informatika ALGORITMI ZA ISPITIVANJE
UNIVERZITET U BEOGRADU MATEMATIČKI FAKULTET
UNIVERZITET U BEOGRADU MATEMATIČKI FAKULTET MASTER RAD SUFIKSNI NIZ Mentor: Student: Prof. dr Miodrag Živković Slaviša Božović 1014/2011. Beograd, 2015. UVOD... 1 1. OSNOVNI POJMOVI I DEFINICIJE... 2 1.1.
Zbirka ispitnih zadataka iz Baza Podataka 1 Ispiti i kolokvijumi u periodu
Beogradski univerzitet Elektrotehnički fakultet Miloš Cvetanović Zbirka ispitnih zadataka iz Baza Podataka 1 Ispiti i kolokvijumi u periodu 2007-2011 Beograd, Januar 2012 Ispiti... 3 Januarski ispitni
pretraživanje teksta Knuth-Morris-Pratt algoritam
pretraživanje teksta Knuth-Morris-Pratt algoritam Jelena Držaić Oblikovanje i analiza algoritama Mentor: Prof.dr.sc Saša Singer 18. siječnja 2016. 18. siječnja 2016. 1 / 48 Sadržaj 1 Uvod 2 Pretraživanje
Modified Zagreb M 2 Index Comparison with the Randi} Connectivity Index for Benzenoid Systems
CROATICA CHEMICA ACTA CCACAA 7 (2) 83 87 (2003) ISSN-00-3 CCA-2870 Note Modified Zagreb M 2 Index Comparison with the Randi} Connectivity Index for Benzenoid Systems Damir Vuki~evi} a, * and Nenad Trinajsti}
ANALYTICAL AND NUMERICAL PREDICTION OF SPRINGBACK IN SHEET METAL BENDING
ANALYTICAL AND NUMERICAL PREDICTION OF SPRINGBACK IN SHEET METAL BENDING Slota Ján, Jurčišin Miroslav Department of Technologies and Materials, Faculty of Mechanical Engineering, Technical University of
A - pri promeni broja obrtaja: - zapreminski protok se menja sa promenom broja obrtaja ventilatora linearno
2 KLIMA Co. Flow and system stress should be known factors in air flow. The flow is gas quantity flowing through the system during given time unit and is measured as m /sec or m /h. System stress is the
Univerzitet u Beogradu
Univerzitet u Beogradu Matematički fakultet Rešavanje problema rasporedivanja poslova u višefaznoj proizvodnji sa paralelnim mašinama primenom hibridnih metaheurističkih metoda Master rad Student: Dušan
Jasna Kellner. snowman. twigs 5 snowflakes. snow. carrot. nose. hands school. hat. ice. head. mountain. window
From the list of words below, fill in the blank boxes below each picture. 1 planina 5 grančice 9 kula 13 nos 17 kuća 21 skije 25 zima 2 saonice 6 grude 10 led 14 peć 18 škola 22 vrat 26 rukavice 3 djeca
Neke primene teorije fazi skupova i fazi logike u procesiranju slika
Univerzitet u Beogradu Matematički fakultet Neke primene teorije fazi skupova i fazi logike u procesiranju slika - Master rad - Nebojša Perić 1024/2013 Beograd, 2014. 2 Mentor: Članovi komisije: Datum
Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku DIOFANTSKE JEDNADŽBE
Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Violeta Ivšić DIOFANTSKE JEDNADŽBE Završni rad Osijek, 2016. Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Violeta Ivšić DIOFANTSKE
Velimir Abramovic: KOLIKO IMA BESKONACNOSTI U MATEMATICI? (Iz Osnovi Nauke o Vremenu )
Velimir Abramovic: www.n01a.org KOLIKO IMA BESKONACNOSTI U MATEMATICI? (Iz Osnovi Nauke o Vremenu ) Citajuci Kantorov Argument dijagonalizacijom shvatio sam da se u njemu nista ne sme podrazumevati, vec
HRVATSKA MATEMATIČKA OLIMPIJADA
HRVATSKA MATEMATIČKA OLIMPIJADA prvi dan 5. svibnja 01. Zadatak 1. Dani su pozitivni realni brojevi x, y i z takvi da je x + y + z = 18xyz. nejednakost x x + yz + 1 + y y + xz + 1 + z z + xy + 1 1. Dokaži
A SPECTRAL ATLAS OF λ BOOTIS STARS
Serb. Astron. J. 188 (2014), 75-84 UDC 524.3 355.3 DOI: 10.2298/SAJ1488075P Professional paper A SPECTRAL ATLAS OF λ BOOTIS STARS E. Paunzen 1 and U. Heiter 2 1 Department of Theoretical Physics and Astrophysics,
Konstrukcija i analiza algoritama
Konstrukcija i analiza algoritama 27. februar 2017 1 Pravila zaključivanja i tehnike dokazivanja u iskaznoj i predikatskoj logici 1 1.1 Iskazna logika Pravila zaključivanja za iskaznu logiku: 1. DODAVANJE
ASIMETRIČNI KRIPTOSUSTAV NTRU
SVEUČILIŠTE U ZAGREBU FAKULTET ELEKTROTEHNIKE I RAČUNARSTVA DIPLOMSKI RAD br. 55 ASIMETRIČNI KRIPTOSUSTAV NTRU Iva Malović Zagreb, lipanj 2010. Mentor rada: Doc. dr. sc. Marin Golub Saţetak Danas korišteni
Lecture 2: Perfect Secrecy and its Limitations
CS 4501-6501 Topics in Cryptography 26 Jan 2018 Lecture 2: Perfect Secrecy and its Limitations Lecturer: Mohammad Mahmoody Scribe: Mohammad Mahmoody 1 Introduction Last time, we informally defined encryption
Outline. CPSC 418/MATH 318 Introduction to Cryptography. Information Theory. Partial Information. Perfect Secrecy, One-Time Pad
Outline CPSC 418/MATH 318 Introduction to Cryptography, One-Time Pad Renate Scheidler Department of Mathematics & Statistics Department of Computer Science University of Calgary Based in part on slides
FOCAL LENGTH DETERMINATION FOR THE 60 cm TELESCOPE AT ASTRONOMICAL STATION VIDOJEVICA
Serb. Astron. J. 184 (2012), 97-104 UDC 520.2 13 DOI: 10.2298/SAJ1284097C Professional paper FOCAL LENGTH DETERMINATION FOR THE 60 cm TELESCOPE AT ASTRONOMICAL STATION VIDOJEVICA Z. Cvetković, G. Damljanović,
Kristina Popadić. Analiza preživljavanja sa primenama u zdravstvenom osiguranju - master rad -
UNIVERZITET U NOVOM SADU PRIRODNO MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Kristina Popadić Analiza preživljavanja sa primenama u zdravstvenom osiguranju - master rad - Mentor: prof.
ON SPACE AND TIME IN QUANTUM COSMOLOGY UDC
FACTA UNIVERSITATIS Series: Physics, Chemistry and Technology Vol. 2, N o 4, 2002, pp. 173-182 ON SPACE AND TIME IN QUANTUM COSMOLOGY UDC 530.1.140.8 Ljubiša Nešić 1, Stojan Obradović 2 1 Department of
NIZOVI I REDOVI FUNKCIJA
SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Danijela Piškor NIZOVI I REDOVI FUNKCIJA Diplomski rad Voditelj rada: izv. prof. dr. sc. Ljiljana Arambašić Zagreb, rujan 206.
Private-key Systems. Block ciphers. Stream ciphers
Chapter 2 Stream Ciphers Further Reading: [Sim92, Chapter 2] 21 Introduction Remember classication: Private-key Systems Block ciphers Stream ciphers Figure 21: Private-key cipher classication Block Cipher:
Dekartov proizvod grafova
UNIVERZITET U NOVOM SADU PRIRODNO - MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Marijana Petričević Jović Dekartov proizvod grafova Master rad Mentor: Prof. dr Ivica Bošnjak Novi Sad, 2017
SITO POLJA BROJEVA. Dario Maltarski PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK. Diplomski rad. Voditelj rada: Doc. dr. sc.
SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Dario Maltarski SITO POLJA BROJEVA Diplomski rad Voditelj rada: Doc. dr. sc. Filip Najman Zagreb, rujan 2014. Ovaj diplomski
BERNSTEINOV ALGORITAM ZA VERTIKALNU 3NF NORMALIZACIJU SINTEZOM
Matija Varga, mag. inf. univ. spec. oec. Srednja škola Sesvete Učiteljski fakultet Zagreb (vanjski suradnik) maavarga@gmail.com UDK 004.65 Pregledni članak BERNSTEINOV ALGORITAM ZA VERTIKALNU 3NF NORMALIZACIJU
Uvod u algoritamske tehnike
Uvod u algoritamske tehnike Tema i nacrt predavanja: Razmatraćemo različite pristupe u rešavanju programerskih problema. Fokusiraćemo se na tehnike za konstrukciju algoritama, na osobine, primenljivost
The problem of Diophantus and Davenport
Mathematical Communications 2(1997), 153 160 153 The problem of Diophantus and Davenport Andrej Dujella Abstract. In this paper we describe the author s results concerning the problem of the existence