Przetwarzanie może potrwać kilka sekund...

Rozdział

Tytuł

Tamarin Software - The Tool for Protocols Verification Security

Autorzy

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

Dyscyplina naukowa (Ustawa 2.0)

[2.3] Informatyka techniczna i telekomunikacja

Rok publikacji

2020

Typ rozdziału

rozdział w monografii naukowej / referat

Język publikacji

angielski

Słowa kluczowe
EN
  • security protocols
  • sensor networks
  • Internet of Things
  • tamarin software
Strony (od-do)

118 - 123

DOI

10.23919/URSI48707.2020.9254078

Książka

2020 Baltic URSI Symposium (URSI)

Zaprezentowany na

2020 Baltic URSI Symposium (URSI), 5-8.10.2020, Warsaw, Poland

Punktacja MNiSW / rozdział

20