Processing may take a few seconds...

Chapter


Title

Tamarin Software - The Tool for Protocols Verification Security

Authors

[ 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 ] employee | [ S ] student

Scientific discipline (Law 2.0)

[2.3] Information and communication technology

Year of publication

2020

Chapter type

chapter in monograph / paper

Publication language

english

Keywords
EN
  • security protocols
  • sensor networks
  • Internet of Things
  • tamarin software
Pages (from - to)

118 - 123

DOI

10.23919/URSI48707.2020.9254078

Book

2020 Baltic URSI Symposium (URSI)

Presented on

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

Points of MNiSW / chapter

20.0