Pregled bibliografske jedinice broj: 727562
Time-Bounding Needham-Schroeder Public Key Exchange Protocol
Time-Bounding Needham-Schroeder Public Key Exchange Protocol // Logic and Applications 2014, Book of Abstracts
Dubrovnik, Hrvatska, 2014. str. 15-16 (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 727562 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Time-Bounding Needham-Schroeder Public Key Exchange Protocol
Autori
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
Logic and Applications 2014, Book of Abstracts
/ - , 2014, 15-16
Skup
Logic and Applications 2014
Mjesto i datum
Dubrovnik, Hrvatska, 22.09.2014. - 26.09.2014
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Ustanove:
Sveučilište u Rijeci, Fakultet za matematiku
Profili:
Tajana Ban Kirigin
(autor)
