%0 Conference Paper %1 conf/ccs/DungT04 %A Dung, Phan Minh %A Thang, Phan Minh %B FMSE %D 2004 %E Atluri, Vijayalakshmi %E Backes, Michael %E Basin, David A. %E Waidner, Michael %I ACM %K dblp %P 33-44 %T Stepwise development of security protocols: a speech act-oriented approach. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2004.html#DungT04 %@ 1-58113-971-3

@inproceedings{conf/ccs/DungT04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Dung, Phan Minh and Thang, Phan Minh}, biburl = {https://www.bibsonomy.org/bibtex/250db1c7db7202734a8e6861d43c93327/dblp}, booktitle = {FMSE}, crossref = {conf/ccs/2004}, editor = {Atluri, Vijayalakshmi and Backes, Michael and Basin, David A. and Waidner, Michael}, ee = {https://doi.org/10.1145/1029133.1029139}, interhash = {51370706ba2b17a0b651062fbbddc614}, intrahash = {50db1c7db7202734a8e6861d43c93327}, isbn = {1-58113-971-3}, keywords = {dblp}, pages = {33-44}, publisher = {ACM}, timestamp = {2020-11-11T11:35:46.000+0100}, title = {Stepwise development of security protocols: a speech act-oriented approach.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2004.html#DungT04}, year = 2004 }