@proceedings{DBLP:conf/post/2013,
 editor    = {David A. Basin and
              John C. Mitchell},
 title     = {Principles of Security and Trust - Second International
              Conference, POST 2013, Held as Part of the European Joint
              Conferences on Theory and Practice of Software, ETAPS 2013,
              Rome, Italy, March 16-24, 2013. Proceedings},
 booktitle = {POST},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {7796},
 year      = {2013},
 isbn      = {978-3-642-36829-5},
 ee        = {http://dx.doi.org/10.1007/978-3-642-36830-1},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}