• Feb 07, 2023 News!JACN will adopt Article-by-Article Work Flow. The benefit of article-by-article workflow is that a delay with one article may not delay the entire issue. Once a paper steps into production, it will be published online soon.   [Click]
  • May 30, 2022 News!JACN Vol.10, No.1 has been published with online version.   [Click]
  • Dec 24, 2021 News!Volume 9 No 1 has been indexed by EI (inspec)!   [Click]
General Information
    • ISSN: 1793-8244 (Print)
    • Abbreviated Title:  J. Adv. Comput. Netw.
    • Frequency: Semiyearly
    • DOI: 10.18178/JACN
    • Editor-in-Chief: Professor Haklin Kimm
    • Executive Editor: Ms. Cherry Chan
    • Abstracting/ Indexing: EBSCO, ProQuest, and Google Scholar.
    • E-mail: jacn@ejournal.net
    • APC: 500USD
Professor Haklin Kimm
East Stroudsburg University, USA
I'm happy to take on the position of editor in chief of JACN. We encourage authors to submit papers on all aspects of computer networks.

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