Publication: Modeling and analysis of two-factor authentication protocol for USB digital evidence acquisition devices
Issued Date
2015-01-01
Resource Type
Other identifier(s)
2-s2.0-84945948320
Rights
Mahidol University
Rights Holder(s)
SCOPUS
Bibliographic Citation
Proceedings of the 2015 12th International Joint Conference on Computer Science and Software Engineering, JCSSE 2015. (2015), 241-246
Suggested Citation
Siripoom Laptikultham, Suratose Tritilanunt Modeling and analysis of two-factor authentication protocol for USB digital evidence acquisition devices. Proceedings of the 2015 12th International Joint Conference on Computer Science and Software Engineering, JCSSE 2015. (2015), 241-246. doi:10.1109/JCSSE.2015.7219803 Retrieved from: https://repository.li.mahidol.ac.th/handle/20.500.14594/35814
Research Projects
Organizational Units
Authors
Journal Issue
Thesis
Title
Modeling and analysis of two-factor authentication protocol for USB digital evidence acquisition devices
Author(s)
Other Contributor(s)
Abstract
© 2015 IEEE. 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.