Napredna pretraga

Pregled bibliografske jedinice broj: 727562

Time-Bounding Needham-Schroeder Public Key Exchange Protocol


Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
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)


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-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 - Odjel za matematiku

Autor s matičnim brojem:
Tajana Ban-Kirigin, (229313)