Knjige - Enkripcija je sigurno dobra, jer…

U kriptografiji nisu dovoljni samo originalna ideja i elegantna realizacija, ono što napravite morate i matematički dokazati vrijednim, a upravo time bavi se ovaj suvremeni zbornik radova, koji nudi temeljit pregled formalnih metoda i alata za analizu i verifikaciju kriptografskih protokola

Mladen Viher petak, 13. prosinca 2024. u 06:00
Handbook of Formal Analysis and Verification in Cryptography
Handbook of Formal Analysis and Verification in Cryptography

Kao jedno od najkompleksnijih područja računalne znanosti, kriptografija zahtijeva rigorozne pristupe, kako bi se osigurala sigurnost sustava, i tu nema popusta, bez onog formalnog matematičkog "QED" na kraju dokaza nemate kriptografski proizvod. Ova knjiga okuplja vodeće stručnjake iz područja kriptografije i verifikacije algoritama, predstavljajući čitateljima najnovija dostignuća i metode. U sedam poglavlja, knjiga istražuje formalne metode za analizu kriptografskih protokola. Fokus je na rigoroznom testiranju otpornosti algoritama na napade, ali detaljno su obrađene i teme kao što su: automatska analiza protokola, simulacijska sigurnost i logički pristupi.

Članak dostupan pretplatnicima

Kako bi mogao pročitati cijeli članak, moraš biti prijavljen na Bug.hr sa svojim podacima te imati status pretplatnika.

Registriraj se Prijavi se
Mreza 1 / 2025 siječanj 2025.

Knjige

  1. Knjige - Na putu prema 6G
  2. Knjige - Enkripcija je sigurno dobra, jer…
Prethodna tema Sljedeća tema


Posjetite našu Hi-Fi slušaonicu.

Ronis Velesajam

Rezervirajte termin u našoj Hi-Fi slušaoni Ronis Velesajam i iskusite zvuk najpoznatijih svjetskih Hi-Fi brendova.

Kupi

Povratak klasičnom konceptu Mission pojačalu.

MISSION 778x pojačalo

Snaga: 45W (8 ohma), 65W (4 ohma), ESS Sabre32 DAC, Bluetooth 5.0 (aptX / AAC), MM Phono stage, USB nadogradnja, ulazi: koaksijalni, Toslink, USB, Bluetooth, izlazi: koaksijalni, Toslink, RCA (PRE Out), frekvencijski odgovor: 20Hz - 20kHz, THD: <0.003%, SNR: >110dB, izlaz za slušalice: <0.01% THD

649 € Kupi

Patentirana HDI™ tehnologija valovoda.

Akcija

JBL HDI 1600 zvučnici

Izlazna snaga: 80/120 W RMS na 8/4 ohma, 2-sistemski bookshelf zvucnici, frekvencijski raspon 40Hz – 30kHz (-6dB), osjetljivost (2.83V @ 1M): 85dB, nominalna impedancija: 4 Ohm, preporucena snaga pojacala: 15W – 200W

1.649 € 1.998 € Akcija

Driveri najnovije generacije.

Akcija

ACOUSTIC ENERGY AE309 zvučnici

2.5-sistemski zvucnici sa 130mm mid-bass jedinicama i 28mm aluminijskim visokotoncem, frekvencijski raspon 38Hz -30kHz, osjetljivost 89dB, vršni SBL 115dB, snaga 175W, crossover frekvencija 296Hz / 2.56kHz, impedancija 6 ohma.

1.274 € 1.499 € Akcija

8K high-performance AV prijemnik.

JBL MA7100HP AV receiver

7.2 kanala, 8K HDMI ulazni konektori, HDR 10+ i Dolby Vision, Dirac Live Ready, WiFi i Bluetooth

1.049 € 1.399 € Akcija

Full range zvučnici kompaktnog dizajna.

Akcija

REVEL Performa3 M105 zvučnici

Ovaj subwoofer ima woofer niskih frekvencija od polyceluloze s visokim hodom od 10 inca (250 mm) s dvostrukim stražnjim podešenim portovima koji pružaju duboki, mocni, karakteristicni JBL bas. Kompletan skup kontrola omogucuje jednostavnu integraciju u sustav.

929 € 950 € Akcija

Flagship noise-cancelling bežicne slušalice.

Akcija

BOWERS & WILKINS Px8 slušalice

Flagship noise-cancelling bežicne naglavne slušalice, 2x 40mm karbonske pogonske jedinice, 24 bit DSP, ugradeno 6 mikrofona, aptX Adaptive Bluetooth, 30 sati reprodukcije

369 € 449 € Akcija

Gold Leaf Air Motion visokotonac.

Akcija

AUDIOVECTOR QR5 zvučnici

3-smjerni zvucnici, Bass driveri: 2 x 6” Pure Piston Technology, Bass sustav: Q-port bass reflex, frekvencijski odziv: 24-45 kHz, Gold leaf gornja granica: 102 kHz, visokotonci: Gold Leaf AMT 2 with S-stop, crossover frekvencija. 400/3000 Hz, osjetljivost: 91 dB/W/m, impedancija: 4 Ohms.

2.890 € 4.099 € Akcija

Moderan dizajn i visokokvalitetni materijali.

Best buy

AUDIO-TECHNICA ATH-M20xBT slušalice

Sa snažnim 40 mm drajverima za poboljšane niskofrekventne performanse, ATH-M20xBT Bluetooth slušalice pružaju nevjerojatno iskustvo slušanja s punim rasponom, visokokvalitetnim zvukom i poboljšanim basom.

89 € Kupi

Tehnologija Post Filter Feedback (PFFB).

Novo u ponudi

Wiim AMP Pro streaming pojačalo

Opremljen najnovijom Wi-Fi 6E i BT 5.3 tehnologijom uz podršku za BT LE audio, pruža izuzetno stabilnu bežicnu povezanost za najzahtjevnije Hi-Res audio streaming. Premium 32-bitni/384kHz ES9038 Q2M SABRE DAC i TI TPA3255 Class-D pojacalo.

459 € Kupi

Novosti iz naše Hi-Fi slušaonice

Novosti

KEF LS60 Wireless

KEF LS60 Wireless je iznimno kompaktan i elegantan zvučnik koji već od prvih taktova s lakoćom pokazuje svoje velike mogućnosti i zvuk koji ne ostavlja prostora za bilo kakve dileme - jednostavno oduševljava.

Kupi