• Mar 31, 2016 News!JACN Vol.3, No.3 has been indexed by EI (inspec)!   [Click]
  • Jun 24, 2016 News!JACN Vol.4, No.2 has been published with online version. 15 papres about advances in computer networks are published in this issue.   [Click]
  • Mar 31, 2016 News!JACN Vol.3, No.2 has been indexed by EI (inspec)!   [Click]
General Information
    • ISSN: 1793-8244
    • Frequency: Quarterly
    • DOI: 10.18178/JACN
    • Editor-in-Chief: Dr. Ka Wai Gary Wong
    • Executive Editor: Ms. Julia S. Ma
    • Abstracting/ Indexing: EI (INSPEC, IET), Engineering & Technology Digital Library, DOAJ, Electronic Journals Library, Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest, and Google Scholar.
    • E-mail: jacn@ejournal.net
Editor-in-chief
Dr. Ka Wai Gary Wong
Department of Mathematics and Information Technology The Hong Kong Institute of Education, Hong Kong
It's a honor to serve as the editor-in-chief of JACN. I'll work together with the editors and reviewers to help the journal progress
JACN 2016 Vol.4(1): 58-63 ISSN: 1793-8244
DOI: 10.18178/JACN.2016.4.1.204

Analysis of Authentication Protocol for USB Storage Devices Using Coloured Petri Nets

Suratose Tritilanunt
Abstract—This paper proposes an analysis of two-factor authentication protocol for a USB storage device used in digital forensic applications. The authentication protocol used in the verification is implemented by using two factor authentication technique in order to strengthen a protection of sensitive digital evidence stored in a USB storage device. By using Coloured Petri Nets as a formal tool for verifying a security of this protocol, the result is able to confirm that a proposed authentication technique satisfies security properties and does not susceptible to principle attacks.

Index Terms—Coloured Petri nets, CPN tool, secure authentication protocol, one time password, USB storage devices.

Suratose Tritilanunt is with the Department of Computer Engineering, Faculty of Engineering, Mahidol University, Thailand (e-mail: suratose.tri@mahidol.ac.th).

[PDF]

Cite:Suratose Tritilanunt, "Analysis of Authentication Protocol for USB Storage Devices Using Coloured Petri Nets," Journal of Advances in Computer Networks vol. 4, no. 1, pp. 58-63, 2016.

Copyright © 2008-2016. Journal of Advances in Computer Networks.  All rights reserved.
E-mail: jacn@ejournal.net