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

REFERENCES 96
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-32298-3_3/.
Ekberg:2012:MTT
[431] Jan-Erik Ekberg and Sandeep Tamrakar. Mass transit ticketing with
NFC mobile phones. Lecture Notes in Computer Science, 7222:48–65,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-32298-3_4/.
Derler:2012:ATN
[432] David Derler, Klaus Potzmader, Johannes Winter, and Kurt Dietrich.
Anonymous ticketing for NFC-enabled mobile phones. Lecture Notes in
Computer Science, 7222:66–83, 2012. CODEN LNCSD9. ISSN 0302-
9743 (print), 1611-3349 (electronic). URL http://link.springer.com/
chapter/10.1007/978-3-642-32298-3_5/.
Yue:2012:SIC
[433] Qinggang Yue, Feng Liu, and Rui Xue. Some improvements to the costbased
framework for analyzing denial of service attacks. Lecture Notes
in Computer Science, 7222:84–101, 2012. CODEN LNCSD9. ISSN 0302-
9743 (print), 1611-3349 (electronic). URL http://link.springer.com/
chapter/10.1007/978-3-642-32298-3_6/.
Li:2012:FDM
[434] Wei Li, Dawu Gu, Zhiqiang Liu, Ya Liu, and Xiaohu Huang. Fault detection
of the MacGuffin Cipher against differential fault attack. Lecture
Notes in Computer Science, 7222:102–112, 2012. CODEN LNCSD9. ISSN
0302-9743 (print), 1611-3349 (electronic). URL http://link.springer.
com/chapter/10.1007/978-3-642-32298-3_7/.
Zhang:2012:CSSa
[435] Zijian Zhang, Liehuang Zhu, Feng Wang, Lejian Liao, Cong Guo, and
Hongyuan Wang. Computationally sound symbolic analysis of EAP-
TNC protocol. Lecture Notes in Computer Science, 7222:113–128,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-32298-3_8/.
Jamthagen:2012:TRD
[436] Christopher Jämthagen, Martin Hell, and Ben Smeets. A technique for
remote detection of certain virtual machine monitors. Lecture Notes in