%0 Journal Article %1 journals/sttt/BozgaLP06 %A Bozga, Liana %A Lakhnech, Yassine %A Périn, Michaël %D 2006 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 1 %P 57-76 %T Pattern-based abstraction for verifying secrecy in protocols. %U http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#BozgaLP06 %V 8

@article{journals/sttt/BozgaLP06, added-at = {2020-04-02T00:00:00.000+0200}, author = {Bozga, Liana and Lakhnech, Yassine and Périn, Michaël}, biburl = {https://www.bibsonomy.org/bibtex/239a98ddce59586c20e8f9622f1097c00/dblp}, ee = {https://doi.org/10.1007/s10009-005-0189-6}, interhash = {8a12dda32ce0d61c31fb94a7fc93dd68}, intrahash = {39a98ddce59586c20e8f9622f1097c00}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 1, pages = {57-76}, timestamp = {2020-04-03T11:54:41.000+0200}, title = {Pattern-based abstraction for verifying secrecy in protocols.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#BozgaLP06}, volume = 8, year = 2006 }