%0 Conference Paper %1 conf/isss2/Cervesato02 %A Cervesato, Iliano %B ISSS %D 2002 %E Okada, Mitsuhiro %E Pierce, Benjamin C. %E Scedrov, Andre %E Tokuda, Hideyuki %E Yonezawa, Akinori %I Springer %K dblp %P 384-416 %T Data Access Specification and the Most Powerful Symbolic Attacker in MSR. %U http://dblp.uni-trier.de/db/conf/isss2/isss2002.html#Cervesato02 %V 2609 %@ 3-540-00708-3

@inproceedings{conf/isss2/Cervesato02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Cervesato, Iliano}, biburl = {https://www.bibsonomy.org/bibtex/2fefae505e49d96a5751ecfc352f0ed7d/dblp}, booktitle = {ISSS}, crossref = {conf/isss2/2002}, editor = {Okada, Mitsuhiro and Pierce, Benjamin C. and Scedrov, Andre and Tokuda, Hideyuki and Yonezawa, Akinori}, ee = {https://doi.org/10.1007/3-540-36532-X_23}, interhash = {8e99a66c58073d88127b4adabcf058d3}, intrahash = {fefae505e49d96a5751ecfc352f0ed7d}, isbn = {3-540-00708-3}, keywords = {dblp}, pages = {384-416}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:54.000+0200}, title = {Data Access Specification and the Most Powerful Symbolic Attacker in MSR.}, url = {http://dblp.uni-trier.de/db/conf/isss2/isss2002.html#Cervesato02}, volume = 2609, year = 2002 }