• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.65 no.12
• /
• pp.2240-2250
• /
• 2016

MIFARE Classic is the most popular contactless smart card, which is primarily used in the management of access control and public transport payment systems. It has several security features such as the proprietary stream cipher Crypto 1, a challenge-response mutual authentication protocol, and a random number generator. Unfortunately, multiple studies have reported structural flaws in its security features. Furthermore, various attack methods that target genuine MIFARE Classic cards or readers have been proposed to crack the card. From a practical perspective, these attacks can be partitioned according to the attacker's ability. However, this measure is insufficient to determine the optimal attack flow due to the refined random number generator. Most card-only attack methods assume a predicted or fixed random number, whereas several commercial cards use unpredictable and unfixable random numbers. In this paper, we propose optimal MIFARE Classic attack procedures with regards to the type of random number generator, as well as an adversary's ability. In addition, we show actual attack results from our portable experimental setup, which is comprised of a commercially developed attack device, a smartphone, and our own application retrieving secret data and sector key.

• The Journal of Society for e-Business Studies
• /
• v.27 no.2
• /
• pp.193-204
• /
• 2022

Smart card data is representative mobility data and can be used for policy development by analyzing public transportation usage behavior. This paper deals with the problem of classifying metro stations using metro usage patterns as one of these studies. Since the previous papers dealing with clustering of metro stations only considered traffic among usage behaviors, this paper proposes clustering considering traffic time as one of the complementary methods. Passengers at each station were classified into passengers arriving at work time, arriving at quitting time, leaving at work time, and leaving at quitting time, and then the estimated shape parameter was defined as the characteristic value of the station by modeling each transit time to Weibull distribution. And the characteristic vectors were clustered using the K-means clustering technique. As a result of the experiment, it was observed that station clustering considering pass time is not only similar to the clustering results of previous studies, but also enables more granular clustering.

• Information Systems Review
• /
• v.21 no.2
• /
• pp.1-27
• /
• 2019

It is possible to provide Smart Tourism Service through the development of information technology. It is necessary for the tourism industry to understand and utilize Big Data that has tourists' consumption patterns and service usage patterns in order to continuously create a new business model by converging with other industries. This study suggests to activate Jeju Smart Tourism by analyzing Big Data based on credit card usage records and location of tourists in Jeju. The results of the study show that First, the percentage of Chinese tourists visiting Jeju has decreased because of the effect of THAAD. Second, Consumption pattern of Chinese tourists is mostly occurring in the northern areas where airports and duty-free shops are located, while one in other regions is very low. The regional economy of Jeju City and Seogwipo City shows a overall stagnation, without changes in policy, existing consumption trends and growth rates will continue in line with regional characteristics. Third, we need a policy that young people flow into by building Jeju Multi-complex Mall where they can eat, drink, and go shopping at once because the number of young tourists and the price they spend are increasing. Furthermore, it is necessary to provide services for life-support related to weather, shopping, traffic, and facilities etc. through analyzing Wi-Fi usage location. Based on the results, we suggests the marketing strategies and public policies for understanding Jeju tourists' patterns and stimulating Jeju tourism industry.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.2 no.2 s.3
• /
• pp.73-84
• /
• 2003

Due to the problems of existing prepaid plastic card issued by Korea Highway Company, the prepaid electronic payment system using a smart card, called HipassPLUS Card, was developed to overcome the Problems. PSAM is one of the main component of the systea which can retrieve the value from HipassPLUS card, transmit the transaction data to CSAM, and store the accumulated account lists. For the safety of the elecoonic payment system, the functions of PSAM should be faultless. This paper developed a test module including the test method, the test checklist, and the test procedure. The test module examines the functionality and security of the payment mechanism to insure that the value stored in HipassPLUS card can be raid to PSAM by the merchants and the standardized SAM. The test module also inspects the transmission mechanism to send and store the transaction data kom PShM to CSAM correctly and safely. Ihe module is designed to test the standard items using the test checklists for PSAM. The test items and the test checklists of PShM was selected under the provision of the specification of Korea Highway Company and ISO standard. Ihe evaluation on PSAM using the test module indicates that PSAM satisfies the evaluation criteria on the quality characteristics of the functionality, security, and compatibility.

• Smart Media Journal
• /
• v.2 no.1
• /
• pp.42-47
• /
• 2013

The paper presents VDR system for efficiency of ocean navigation device and how to output and to save data using this system as well as compressed digital data and analog video output from the camera are utilized at the same time. The compressed digital data is used to store video for VDR device while analog video is used to display on screen in real-time so that VDR system saves the load on SD memory card without navigation terminal and output it with real-time video. Also, the control method using VDR system are proposed for saving and outputting data.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.3B
• /
• pp.421-430
• /
• 2010

Now a days, as a communications network is being broadband, IPTV(Internet Protocol Television) service which provides various two-way TV service is increasing. But as the data which is transmitted between IPTV set-top box and smart card is almost transmitted to set-top box, the illegal user who gets legal authority by approaching to the context of contents illegally using McComac Hack Attack is not prevented perfectly. In this paper, set-top box access security model is proposed which is for the protection from McComac Hack Attack that tries to get permission for access of IPTV service illegally making data line which is connected from smart card to set-top box by using same kind of other set-top box which illegal user uses. The proposed model reports the result of test which tests the user who wants to get permission illegally by registration the information of a condition of smart card which is usable in set-top box in certification server so that it prevents illegal user. Specially, the proposed model strengthen the security about set-top box by adapting public key which is used for establishing neighbor link and inter-certification process though secret value and random number which is created by Pseudo random function.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.19 no.6
• /
• pp.14-25
• /
• 2020

This research proposes a methodology to evaluate the rationality of passengers' route choice who make trips within Seoul metropolitan subway based on smart card data. The rationality of user route choice is divided into the degree of determinacy and similarity concepts as basic principle. Determinacy is the degree to which the route selected by the passenger is identical to the system optimal path. Similarity indicates the degree to which the route is similar to the system optimal path. The K-path search method is used for path enumeration, which allows for measurement of determinacy. To assess determinacy within similarity, transfer tag data of private operators is used. Consequently, the concept of similarity applied to the model is such that the passenger's path choice is identical to the path taken using the tag reader. Results show that the determinacy of appearance of the shortest path (K=1) is 90.4%, while the similarity of appearance as K=(2-10) is 7.9%, summing to 98.3%. This indicates that trips on the metropolitan subway network are being rationally explained. 1.7% of irrational trips are attributed to the unexplainable error term that occurs due to the diversity of passengers.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.443-452
• /
• 2011

This study analyzed passenger travel patterns especially for the transfer from metro to bus by using transit smart card data. We classified three types of land use such as residential, business, and shopping area where metro stations are located. The results show that more number of transfers was observed at residential area compared to that of shopping and business area. Also, more number of transfers from metro to arterial bus was observed than that of transfers to local bus. Further, the high number of transfers to arterial bus was observed at business and shopping area. This means that the transfer to bus at metro stations varies by land use. The egress walk distance from metro station was found to be approximately 400 meters and the average walk distance of young people was found to be shorter than that of the old.

• Journal of the Korean Society for Railway
• /
• v.16 no.1
• /
• pp.59-64
• /
• 2013

This study analyzed passenger access and egress travel patterns related to a Korean regional railway station (Seoul station), then developed a binomial logit model. This model referred to bus and metro mode of access and egress during a national holiday (Chuseok 2009); obtained from transit smart card data. The results showed that 99% of passengers getting access to, or egress from, the regional railway station did so using less than two transfers, and that most passengers were more likely to choose a metro. However, the passengers that made access or egress trips near Seoul Station were more likely to take a bus. From the results of the mode choice model, it was found that the impact of travel time was greater than that of travel cost, in the choices made for both access and egress. Interestingly, the impact of travel time is much greater in choosing the mode of egress.

• Journal of the Korean Society for Railway
• /
• v.17 no.6
• /
• pp.457-465
• /
• 2014

This study proposes a policy for urban railway travel demand management system in order to decrease the load factor of the Seoul metro Circle line, particularly for the segment between Sadang and Samsung stations, through analyzing the transit smart card data. We propose mixed train operations of the existing Circle line and a line that goes toward Samsung station in order to transport passengers that have two distinct groups: those with the destination of Samsung station and those with destinations after Samsung station. The introduction of a mixed train operation that encourages passengers passing through Samsung station to take a Circle line train will decrease the congested load factor by 11.3% during the morning peak hours using the mixed train operation of the Circle and Samsung lines. This policy could be an effective method to decrease the load factor and improve the comfort of rail passengers without extra investment in the railway facilities.