\input zb-basic
\input zb-ioport
\iteman{io-port 70165006}
\itemau{Kim, Hyun Seok; Kim, Il-Gon; Choi, Jin-Young}
\itemti{Analysis of security protocols with certificate over open networks: electronic payment system}
\itemso{ICDCS Workshops, 217-223 (2005).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2005.41}
\end