![](/img/cover-not-exists.png)
[IEEE 2016 IEEE 5th Global Conference on Consumer Electronics - Kyoto, Japan (2016.10.11-2016.10.14)] 2016 IEEE 5th Global Conference on Consumer Electronics - On backward-style verification for timed anonymity of security protocols
Kawabe, Yoshinobu, Ito, NobuhiroYear:
2016
Language:
english
DOI:
10.1109/GCCE.2016.7800422
File:
PDF, 211 KB
english, 2016