Abstract: Text-based password is commonly used in user authentication. Due to its complexity, users are having trouble remembering their password combination. An alternative was introduced by Blonder in 1996, called graphical password which was easier to remember because of its graphical content. Therefore usability and memorability are improved. In this paper, we propose and develop a new graphical password called Pass-Coob (Pass color and object), which uses colors and object to authenticate user for improving the security and usability aspects.

• Publication Date: 08-Jun-2014
• DOI: 10.15224/978-1-63248-021-7-71
• Views: 0
• Downloads: 0

Abstract: This paper studies the abilities of the formal model of a Timed Extended Finite State Machine (TEFSM) to represent the safety properties of the European Train Control System (ETCS). The model is based on Finite State Machines augmented with continuous variables and time information, which allows representing the basic functioning of the units in this real-time system. In order to represent temporal requirements, timeouts are used for modeling some aspects of the (internal) critical behavior of the train control system. The model abilities to represent safety properties are evaluated using different testing scenarios for model implementations in IF, XML and JAVA languages. Tests are automatically generated using the tool TestGen-IF where corresponding safety properties are specified as test objectives. Based on the obtained experimental results the advantages and disadvantages of a developed model are briefly discussed.

• Publication Date: 08-Jun-2014
• DOI: 10.15224/978-1-63248-021-7-72
• Views: 0
• Downloads: 0