%0 Conference Paper %1 conf/sofl/XieLLLFF14 %A Xie, Xiaofei %A Li, Xiaohong %A Liu, Yang %A Li, Li %A Feng, Ruitao %A Feng, Zhiyong %B SOFL+MSVL %D 2014 %E Liu, Shaoying %E Duan, Zhenhua %I Springer %K dblp %P 111-126 %T Automatic Verification for Later-Correspondence of Security Protocols. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2014.html#XieLLLFF14 %V 8979 %@ 978-3-319-17403-7

@inproceedings{conf/sofl/XieLLLFF14, added-at = {2023-06-26T00:00:00.000+0200}, author = {Xie, Xiaofei and Li, Xiaohong and Liu, Yang and Li, Li and Feng, Ruitao and Feng, Zhiyong}, biburl = {https://www.bibsonomy.org/bibtex/2698f504ad0bb9892c531981dfcfd2607/dblp}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2014}, editor = {Liu, Shaoying and Duan, Zhenhua}, ee = {https://doi.org/10.1007/978-3-319-17404-4_8}, interhash = {9254c7ad7e2ece03304dddfddeb5438e}, intrahash = {698f504ad0bb9892c531981dfcfd2607}, isbn = {978-3-319-17403-7}, keywords = {dblp}, pages = {111-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:41:14.000+0200}, title = {Automatic Verification for Later-Correspondence of Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2014.html#XieLLLFF14}, volume = 8979, year = 2014 }