Last update: Sun Oct 15 02:05:00 MDT 2017
@Article{Li:2009:DCP,
author = "Dalton Li and David Lin and Grace Zhao and Brian
Huang",
title = "Design and correctness proof of a security protocol
for mobile banking",
journal = j-BELL-LABS-TECH-J,
volume = "14",
number = "1",
pages = "259--265",
month = "Spring",
year = "2009",
CODEN = "BLTJFD",
DOI = "https://doi.org/10.1002/bltj.20366",
ISSN = "1089-7089 (print), 1538-7305 (electronic)",
ISSN-L = "1089-7089",
bibdate = "Fri Nov 26 17:31:42 MST 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/bstj2000.bib",
acknowledgement = ack-nhfb,
fjournal = "Bell Labs Technical Journal",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1538-7305/issues/",
onlinedate = "18 May 2009",
}