Tamarin Software - The Tool for Protocols Verification Security

Piotr Remlein; Urszula Stachowiak; Mikołaj Rogacki

doi:10.23919/URSI48707.2020.9254078

System Informacji Naukowej Politechniki Poznańskiej

PL EN

Strona główna / Publikacje / Tamarin Software - The Tool for Protocols Verification Security

Zgłoś uwagę

Rozdział

Pobierz BibTeX

Tytuł

Tamarin Software - The Tool for Protocols Verification Security

Autorzy

Piotr Remlein (WIiT) ^{[ 1 ][ 2.3 ][ P ]}
Urszula Stachowiak (PP) ^{[ 2 ][ S ]}
Mikołaj Rogacki (WE) ^{[ 3 ][ S ]}

^{[ 1 ]} Instytut Radiokomunikacji, Wydział Informatyki i Telekomunikacji, Politechnika Poznańska | ^{[ 2 ]} Politechnika Poznańska | ^{[ 3 ]} Instytut Automatyki, Robotyki i Inżynierii Informatycznej, Wydział Elektryczny, Politechnika Poznańska | ^{[ P ]} pracownik | ^{[ S ]} student