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)
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
Ministry points / chapter
20
This website works thanks to the software SINUS
created by Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS