• 한국컴퓨터정보학회논문지
• /
• 제24권1호
• /
• pp.145-149
• /
• 2019

Various supplementary authentication methods are used to supplement user authentication and authorization provided by existing password verification online1. In recent years, authentication and authorization methods using user attribute information have been studied and utilized in various services. User attribute information can be divided into static information and dynamic information. The existing methods focus on research to identify users using dynamic information or to generate challenge questions for user reauthentication. Static information such as a user's home address, school, company, etc. is associated with dynamic information such as location information. We propose a method to verify user attribute information by using the association between two attribute information. For this purpose, the static information of the user is verified by using the user's location record which is dynamic information. The experiment of this paper collects the dynamic information of the actual user and extracts the static information to verify the user attributes. And we implemented the user attribute information authentication system using the proposal verification method and evaluated the utility based on applicability, convenience, and security.

• International journal of advanced smart convergence
• /
• 제9권3호
• /
• pp.227-231
• /
• 2020

Recently, the importance of user experience (UX) has been rapidly increasing. Its utilization is emphasized for development of systems, products, and services. User experience is widely used across industries including services, products, processes, society, and culture. Therefore, if it is unsatisfactory, it is likely to have a direct negative impact on the corresponding system, product, or service. The failure to analyze user experience causes significant damage to the project, which may lead to its failure or redevelopment; it is hence necessary to prioritize the verification of UX in the earliest stages of development. The requirements development stage, which is a preceding stage, is an appropriate stage for the verification of user experience because the identification of user needs is completed and prototypes can be implemented. In this paper, we proposed a systematic requirements development stage; it adds user experience verification activities to the requirements development stage, using the Honeycomb model, which is a widely used tool for verifying the overall UX. User experience verification was added to the existing requirements development activities, which consisted of three steps: model definition and requirements placement, discussions between external and internal stakeholders, and review by internal stakeholders. By easily validating the user experience through this systematic requirements development stage, we expect to minimize the damage to the project due to the failure of the user experience analysis and increase the possibility of success.

• 디지털산업정보학회논문지
• /
• 제10권4호
• /
• pp.127-132
• /
• 2014

Some laws and regulations may require internet service providers to provide services based on the age of users. Age verification in the online environment should be used as a tool to provide service that is appropriate to child based on age. Using the minimum attribute information, processes on age verification provides the proper guidance to the internet services. However, there is a lack of a globally accepted trust framework for age verification process including evaluation factors for age verification information. In this paper the federation model of user attributes were described and evaluation factors for the age verification information were suggested. Also using the suggested evaluation factors, performance evaluation of federation model of user evaluation was performed. To meet the requirements of evaluation factors, framework of federation model should consider the unlinkability pseudonym support, eavesdropping protection and cloning protection.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• pp.100-105
• /
• 2005

Development of complex discrete event simulators requires cooperation between domain experts and modeling experts who involve the development. With the cooperation the domain experts derive user requirement and modeling experts transform the requirement to a simulation model. This paper proposes a method for consistency verification of simulation model in DEVS formalism against the user requirement in UML diagrams. It also presents an automated tool, called VeriDEVS, which implements the proposed method. Inputs of VeriDEVS are three UML diagrams, namely use case, class and sequence diagrams, and DEVS Graph, all in Visio; outputs of a verification result is represented in PowerPoint files.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2005년도 e-Biz World Conference 2005
• /
• pp.299-304
• /
• 2005

This paper is a research on the dynamic signature verification of error rate which are false rejection rate and false acceptance rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, and so on. We suggest feature extraction and comparison method of the signature verification. Also, we have implemented our system with Java technology for more efficient user interfaces and various OS Platforms.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제4권3호
• /
• pp.271-276
• /
• 2004

This paper is a research on the dynamic signature verification of error rate which are false rejection rate and false acceptance rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, the processing speed and so on. Also, we present our efficient user interface and performance results.

• 한국멀티미디어학회논문지
• /
• 제25권5호
• /
• pp.703-720
• /
• 2022

Based on the love styles theory used in psychology, this paper classifies users(Passionate Love, Game-playing Love, Friendship Love, Practical Love, Possessive Love, Altruistic Love) and investigates satisfaction with the motivation for using TikTok love videos(Entertainment, Social Relationship, Love skills-learning, Self-verification, Problem-solving) according to the theory of use and satisfaction. First, 414 users were selected to conduct TikTok surveys to collect data. Then, through the analysis of the research results, among the six love types, game-playing type and possessive type have a positive (+) impact on entertainment motivation and love skill-learning motivation. Game-playing type also have a positive (+) impact on social relationship motivation and self-verification motivation. In addition, altruistic type and possessive type are also factors to strengthen the motivation of self-verification. The altruistic type, possessive type and practical type will improve the problem-solving motivation. Finally, through hierarchial multiple regression analysis, it is confirmed that game-playing love type, entertainment motivation, love skill-learning motivation and self-verification motivation can improve user satisfaction. The above results enrich the research of user classification as well as providing inspiration for improving the quality and communication efficiency of TikTok's video and enhancing user experience.

• 대한전자공학회논문지SD
• /
• 제44권6호
• /
• pp.83-88
• /
• 2007

본 논문에서는 유기발광다이오드 구동 IC의 기능을 검증하기 위하여 PLI(Programing Language Interface)를 이용한 검증방법을 제안한다. 기능 검증을 하기 위하여 HDL(Hardware Description Language) 시뮬레이터와 PLI, GUI(Graphic User Interface) 환경의 이미지 뷰어를 이용한다. 본 논문에서 제안하는 유기발광다이오드 구동 IC의 기능 검증 방법을 이용 할 경우 종래의 기능 검증 방법을 이용 할 때 보다 40배의 실행 시간 이득을 얻을 수 있다. 제안한 방법을 이용할 경우 디스플레이 구동 IC의 설계 단계에서 기능 검증을 효율적으로 할 수 있을 것이다.

• 한국시뮬레이션학회논문지
• /
• 제28권1호
• /
• pp.41-47
• /
• 2019

국방 시뮬레이션은 여러 무기체계를 실험하고 그 효용성을 평가하기 위해 활발히 사용된다. AddSIM 환경의 경우 국방 시뮬레이션에서 다루는 무기체계들을 보다 통합적인 관점에서 지원하기 위해 고안된 시뮬레이션 프레임워크로 재사용성과 확장성을 고려하여 설계되었다. AddSIM에서 사용되는 모델의 경우 기본 모델 구조에 대한 정보와 실제 무기 체계의 설계를 위해 사용되는 사용자 코드 영역에서의 검증이 통합적이며 정확한 시뮬레이션을 위해 필요하다. 따라서 본 논문에서는 AddSIM에서 사용되는 모델들에 대한 완전성을 위해 사용된 동적 검증 방법에 대해 설명한다. 사용자 코드 동적 검증 방법에 대해서는 명세 기법과 검증을 위한 알고리즘에 대해 설명한다. 또한, 검증 명세 기법 및 알고리즘을 바탕으로 구현된 동적 검증기 프로토타입에 대해 소개하며, 사례 연구에서는 AddSIM 환경에서 구현된 시뮬레이션 예제를 바탕으로 수행한 검증 결과를 분석한다.

• 인터넷정보학회논문지
• /
• 제4권4호
• /
• pp.53-64
• /
• 2003

사용자 어플리케이션에서 인증서의 검증 과정을 모두 수행하는 것은 복잡하고 시간 소비적인 작업으로서 사용자 측에 상당한 부담을 줄 수 있다. 특히, 인증서의 서명을 검증하는 작업은 인증 경로상의 모든 인증서들에 대한 암호화 계산을 필요로 하기 때문에 이로 인한 연산적인 부담은 전체 검증 작업 부담의 대부분을 차지하게 된다. 본 논문에서는 인증서 검증 작업 중 서명 검증 작업을 PKI 영역내의 CA들에게 위임함으로서 사용자측의 검증 작업에 대한 부담을 줄일 수 있는 DSVP(Delegated Signature Validation Protocol)를 이용한 새로운 인증서 검증 기법을 제안하였다. 제안한 DSVP는 사용자와 CA들 간의 수행되는 프로토콜로서, 계층적 PKI에서 효율적으로 적용되며 서명 검증 위임 작업이 안전하고 신뢰성 있게 수행되도록 한다. 제안한 기법은 사용자 측의 암호화 계산을 줄이고 상위 CA들을 검증 작업에 가담시킴으로서, 사용자 측의 검증 작업에 대한 부담을 줄임과 동시에 PKI 영역의 정적인 CA들의 활용도를 높이는 효과를 가져올 수 있다.