Tamarin Software - The Tool for Protocols Verification Security
[ 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
2020
chapter in monograph / paper
english
- security protocols
- sensor networks
- Internet of Things
- tamarin software
118 - 123
20