crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 727562

Zbornik radova

Autori: Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Naslov: Time-Bounding Needham-Schroeder Public Key Exchange Protocol
Izvornik: Logic and Applications 2014, Book of Abstracts
Skup: Logic and Applications 2014
Mjesto i datum: Dubrovnik, Hrvatska, 22-26.09.2014.
Ključne riječi: Cyber-Physical Securtiy Protocols ; Protocol Verification ; Real time systems
Sažetak:
We investigate the motivation and the need of using continuous time models in protocol verification instead of the more simple discrete ones and show that in protocol verification these models behave differently.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Sažetak
Vrsta recenzije: Međunarodna recenzija
Izvorni jezik: ENG
Kategorija: Znanstveni
Znanstvena područja:
Matematika,Računarstvo
Puni text rada: 727562.LAP_2014_ban_kirigin__book_of_abstracts.pdf (tekst priložen 27. Ruj. 2015. u 12:21 sati)
URL Internet adrese: http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2014_book_of_abstracts.pdf
Upisao u CROSBI: Tajana Ban Kirigin (bank@math.uniri.hr), 6. Stu. 2014. u 00:03 sati



Verzija za printanje   za tiskati


upomoc
foot_4