![](/img/cover-not-exists.png)
[IEEE 2018 6th International Conference on Information and Communication Technology (ICoICT) - Bandung, Indonesia (2018.5.3-2018.5.5)] 2018 6th International Conference on Information and Communication Technology (ICoICT) - Counterexample Generation for Ping-Pong Protocols Security Checking Algorithm
Wahyudi, Erwin Eko, Pulungan, RezaYear:
2018
Language:
english
DOI:
10.1109/icoict.2018.8528754
File:
PDF, 293 KB
english, 2018