Time-Bounding Needham-Schroeder Public Key Exchange Protocol (CROSBI ID 616898)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Podaci o odgovornosti
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn
engleski
Time-Bounding Needham-Schroeder Public Key Exchange Protocol
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.
Cyber-Physical Securtiy Protocols ; Protocol Verification ; Real time systems
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
15-16.
2014.
objavljeno
Podaci o matičnoj publikaciji
Logic and Applications 2014, Book of Abstracts
Podaci o skupu
Logic and Applications 2014
predavanje
22.09.2014-26.09.2014
Dubrovnik, Hrvatska