• Sep 17, 2018 News!Welcome to 2019 4th International Conference on Information and Network Technologies (ICINT 2019), which will be held in Kyoto, Japan during May 25-27, 2019.   [Click]
  • Jul 04, 2018 News!JACN Vol.6, No.1 has been published with online version.   [Click]
  • May 22, 2018 News!JACN has been included in EBSCO database.
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),  Electronic Journals Library, Ulrich's Periodicals Directory, EBSCO, ProQuest, and Google Scholar.
    • E-mail: jacn@ejournal.net
Editor-in-chief
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).

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