• Jul 03, 2017 News!JACN Vol.4, No.2 has been indexed by EI (inspec)!   [Click]
  • Dec 13, 2017 News!JACN Vol.5, No.2 has been published with online version.   [Click]
  • Jul 12, 2017 News!JACN Vol.5, No.1 has been published with online version.
General Information
    • ISSN: 1793-8244
    • Frequency: Semiyearly
    • DOI: 10.18178/JACN
    • Editor-in-Chief: Dr. Ka Wai Gary Wong
    • Executive Editor: Ms. Nina Lee
    • 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
Dr. Ka Wai Gary Wong
Division of Information and Technology Studies, Faculty of Education, The University of 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).


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-2017. Journal of Advances in Computer Networks.  All rights reserved.
E-mail: jacn@ejournal.net