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

REFERENCES 78
Yang:2012:GTA
[318] Mu Yang, Vladimiro Sassone, and Sardaouna Hamadou. A game-theoretic
analysis of cooperation in anonymity networks. Lecture Notes in Computer
Science, 7215:269–289, 2012. CODEN LNCSD9. ISSN 0302-9743 (print),
1611-3349 (electronic). URL http://link.springer.com/chapter/10.
1007/978-3-642-28641-4_15/.
Best:2012:DSD
[319] Eike Best and Philippe Darondeau. Deciding selective declassification
of Petri nets. Lecture Notes in Computer Science, 7215:290–308,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-28641-4_16/.
Basin:2012:ESP
[320] David Basin, Vincent Jugé, and Felix Klaedtke. Enforceable security
policies revisited. Lecture Notes in Computer Science, 7215:309–328,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-28641-4_17/.
Milushev:2012:TIH
[321] Dimiter Milushev and Dave Clarke. Towards incrementalization of holistic
hyperproperties. Lecture Notes in Computer Science, 7215:329–348,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-28641-4_18/.
Centenaro:2012:TBA
[322] Matteo Centenaro, Riccardo Focardi, and Flaminia L. Luccio. Type-based
analysis of PKCS#11 key management. Lecture Notes in Computer Science,
7215:349–368, 2012. CODEN LNCSD9. ISSN 0302-9743 (print),
1611-3349 (electronic). URL http://link.springer.com/chapter/10.
1007/978-3-642-28641-4_19/.
Amtoft:2012:CIM
[323] Torben Amtoft, Josiah Dodds, Zhi Zhang, and Andrew Appel. A certificate
infrastructure for machine-checked proofs of conditional information
flow. Lecture Notes in Computer Science, 7215:369–389, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28641-4_20/.