TY - GEN
T1 - Modeling and analysis of two-factor authentication protocol for USB digital evidence acquisition devices
AU - Laptikultham, Siripoom
AU - Tritilanunt, Suratose
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/8/24
Y1 - 2015/8/24
N2 - This paper proposes two-factor authentication protocol for adding security layer to USB digital evidence acquisition devices, and preventing illegal usage of data stored in that devices from unauthorized users. By using one time password generated from unique parameters of individual user, the proposed protocol can be used to protect forensic acquisition software and sensitive information stored in storage devices from any unauthorized users. In the protocol design and experiment, we use a formal method tool to model and verify for ensuring the correctness of workflow as well as a security of the protocol. The result from simulation and state space analysis show that the proposed protocol is able to strengthen up the security of USB storage devices and satisfies basic security properties.
AB - This paper proposes two-factor authentication protocol for adding security layer to USB digital evidence acquisition devices, and preventing illegal usage of data stored in that devices from unauthorized users. By using one time password generated from unique parameters of individual user, the proposed protocol can be used to protect forensic acquisition software and sensitive information stored in storage devices from any unauthorized users. In the protocol design and experiment, we use a formal method tool to model and verify for ensuring the correctness of workflow as well as a security of the protocol. The result from simulation and state space analysis show that the proposed protocol is able to strengthen up the security of USB storage devices and satisfies basic security properties.
KW - One-Time Password
KW - Two-Step Verification
KW - Two-factor authentication
KW - USB storage device
UR - https://www.scopus.com/pages/publications/84945948320
U2 - 10.1109/JCSSE.2015.7219803
DO - 10.1109/JCSSE.2015.7219803
M3 - Conference contribution
AN - SCOPUS:84945948320
T3 - Proceedings of the 2015 12th International Joint Conference on Computer Science and Software Engineering, JCSSE 2015
SP - 241
EP - 246
BT - Proceedings of the 2015 12th International Joint Conference on Computer Science and Software Engineering, JCSSE 2015
A2 - Duangsuwan, Jarunee
A2 - Vanichayobon, Sirirut
A2 - Preechaveerakul, Ladda
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 12th International Joint Conference on Computer Science and Software Engineering, JCSSE 2015
Y2 - 22 July 2015 through 24 July 2015
ER -