| Title | Tamarin software – the tool for protocols verification security |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Remlein, Piotr, Rogacki, Mikołaj, Stachowiak, Urszula |
| Conference Name | 2020 Baltic URSI Symposium (URSI) |
| Date Published | oct |
| Keywords | composability, compositionality, Encryption, Internet of Things, policy-based governance, privacy, protocol verification, Protocols, pubcrawl, Safety, security protocols, Sensor networks, Software, Standards, Tamarin software, Tools |
| Abstract | In order to develop safety-reliable standards for IoT (Internet of Things) networks, appropriate tools for their verification are needed. Among them there is a group of tools based on automated symbolic analysis. Such a tool is Tamarin software. Its usage for creating formal proofs of security protocols correctness has been presented in this paper using the simple example of an exchange of messages with asynchronous encryption between two agents. This model can be used in sensor networks or IoT e.g. in TLS protocol to provide a mechanism for secure cryptographic key exchange. |
| DOI | 10.23919/URSI48707.2020.9254078 |
| Citation Key | remlein_tamarin_2020 |
Tamarin software – the tool for protocols verification security