![](/img/cover-not-exists.png)
[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Formal Analysis and Model Checking of a Group Authentication Protocol by Scyther
Yang, Huihui, Prinz, Andreas, Oleshchuk, VladimirYear:
2016
Language:
english
DOI:
10.1109/pdp.2016.27
File:
PDF, 167 KB
english, 2016