(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 75
Bozga:2012:DCT
[300] Marius Bozga, Radu Iosif, and Filip Konečn´y. Deciding conditional termination.
Lecture Notes in Computer Science, 7214:252–266, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28756-5_18/.
Armando:2012:APA
[301] Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta,
and Alberto Calvi. The AVANTSSAR platform for the automated validation
of trust and security of service-oriented architectures. Lecture Notes
in Computer Science, 7214:267–282, 2012. CODEN LNCSD9. ISSN 0302-
9743 (print), 1611-3349 (electronic). URL http://link.springer.com/
chapter/10.1007/978-3-642-28756-5_19/.
Wang:2012:RBF
[302] Anduo Wang, Carolyn Talcott, Alexander J. T. Gurney, Boon Thau
Loo, and Andre Scedrov. Reduction-based formal analysis of BGP instances.
Lecture Notes in Computer Science, 7214:283–298, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28756-5_20/.
Anonymous:2012:FMs
[303] Anonymous. Front matter. Lecture Notes in Computer Science, 7214:
??, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/content/pdf/bfm:978-3-
642-28756-5/1.
Dwork:2012:DPP
[304] Cynthia Dwork. Differential privacy and the power of (formalizing) negative
thinking. Lecture Notes in Computer Science, 7215:1–2, 2012.
CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/accesspage/chapter/10.1007/978-
3-642-28641-4_1.
Blanchet:2012:SPV
[305] Bruno Blanchet. Security protocol verification: Symbolic and computational
models. Lecture Notes in Computer Science, 7215:3–29,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-28641-4_2/.