%0 Conference Paper %1 conf/gcce/KawabeI16 %A Kawabe, Yoshinobu %A Ito, Nobuhiro %B GCCE %D 2016 %I IEEE %K dblp %P 1-5 %T On backward-style verification for timed anonymity of security protocols. %U http://dblp.uni-trier.de/db/conf/gcce/gcce2016.html#KawabeI16 %@ 978-1-5090-2333-2

@inproceedings{conf/gcce/KawabeI16, added-at = {2018-03-19T00:00:00.000+0100}, author = {Kawabe, Yoshinobu and Ito, Nobuhiro}, biburl = {https://www.bibsonomy.org/bibtex/2f6dfd57dc2589f73175b651929128698/dblp}, booktitle = {GCCE}, crossref = {conf/gcce/2016}, ee = {https://doi.org/10.1109/GCCE.2016.7800422}, interhash = {91ebe6a5dd0dccd2387a060c18130715}, intrahash = {f6dfd57dc2589f73175b651929128698}, isbn = {978-1-5090-2333-2}, keywords = {dblp}, pages = {1-5}, publisher = {IEEE}, timestamp = {2018-03-20T11:36:08.000+0100}, title = {On backward-style verification for timed anonymity of security protocols.}, url = {http://dblp.uni-trier.de/db/conf/gcce/gcce2016.html#KawabeI16}, year = 2016 }