SKP기반 SET프로토콜의 Petri Nets를 이용한 분석

송유진,서미경,이종근,Song, Yu-Jin,Seo, Mi-Gyeong,Lee, Jong-Geun 한국정보처리학회 2001 정보처리학회논문지 C : 정보통신,정보보안 Vol.8 No.5

SET은 전자상거래에 있어서 가장 많이 사용되고 있는 결재 시스템 규약 중의 하나이다. 그러나 전자상거래에서 실질적인 배달이나 배달 확인과정에 대해서는 SET은 고려하고 있지 않다. 따라서 본 논문에서는 배달이나 배달 확인에 의한 지불에 대한 보안성을 좀 더 높여주는 SKP(Secure Key Protocol)를 제안한다. 그리고 Petri Nets 모델링 방법을 이용하여, SKP를 적용한 SET 모델의 적합성 여부를 증명한다. SET is one of the useful protocol for credit payment in the Electronic market. Since, the delivery problem is conformed to delivery cooperation not payment problem, the classic SET protocol didn\`t consider about the certification of delivery. But the environment of electronic market be changed to manage the sold, delivery and payment etc.. In this paper, based on this consider, we propose a new SET protocol which has an function to verify the delivery based on SKP and verify it after analyzed by Petri nets. Specially, we consider SKP between Customer, Merchant, and Acquirer for improve the verify function.

DAPN과 인접행렬을 이용한 교착상태 회피에 대한 연구

송유진,이종근,Song, Yu-Jin,Lee, Jong-Kun 한국시뮬레이션학회 2006 한국시뮬레이션학회 논문지 Vol.15 No.1

유연생산시스템은 많은 병렬적이고 동시 발생적인 기계들, 장치들, 수송 시스템들로 구성되며, 이러한 것들은 각각 버퍼들, 도구들, 라우터들로 나누어진다. 시스템에서 여러 생산품들의 병렬적인 흐름은 자원들을 이용하기 위해 서로 경쟁하게 되며, 유연생산시스템의 이러한 특징들로 인해 교착상태가 발생한다. 교착상태는 상대방이 점유하고 있는 자원을 서로 요구하는 과정에서 흐름이 멈추어진 상태를 말하므로, 이러한 교착상태의 탐지와 회피는 매우 중요한 문제이다. 이 사실에 근거하여 일반 플레이스와 자원공유플레이스 사이의 관계를 나타내는 DAPN(Deadlock Avoidance Petri Wet)을 정의하여 교착상태를 탐지하고 회피하기 위한 새로운 알고리즘을 연구하였다. 또한 제안된 알고리즘을 유연생산시스템의 특징을 가진 모델에 적용하여 그 결과를 제시한다. The Flexible Management System (FMS) consists of parallel and concurrent machines, pieces of equipment, and carrying systems classified as buffers, tools, and routers, respectively. The concurrent flow of multiple productions in a system is competed with one another for resources and this resulting competition can cause a deadlock in FMS. Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. Herein a new algorithm has been studied in order to detect and prevent deadlocks, after defining a relationship between the general places and resource share places in Petri nets like as DAPN: Deadlock Avoidance Petri Net. For presenting the results, the suggested algorithms were also adapted to the models that demonstrated FMS features.

Model Driven Architecture를 적용한 E-Learning 시스템에 관한 연구

송유진,조현숙,Song, Yu-Jin,Cho, Hyen-Suk 한국정보컨버전스학회 2008 한국정보컨버전스학회논문지 Vol.1 No.1

웹 기술 기반의 콘텐츠 개발 및 운영으로 다른 환경에서의 콘텐츠 활용을 토대로 교육자원의 정보들을 통합 운영할 수 있는 관리 중심체인 e-learning 시스템의 중요성과 필요성이 대두되고 있으며, 교육용 어플리케이션은 현재 표준화되지 않은 개발 프로세스를 기반하여 개발하고 있는 실정이다. 따라서, 교육 콘텐츠의 재사용을 높이기 위해 국제적 학습 표준인 SCORM(Sharable Content object Reference Model)을 기반으로 하나의 플랫폼에 있어서 시스템 개발 중 다른 플랫폼으로의 재사용이 가능한 핵심자산을 이용하여 조립, 생산할 수 있는 방안으로 체계적인 교육자원을 개발하고 지원하기 위한 교수-학습지원 시스템 개발에 초점을 둔 연구가 요구된다. 따라서, 본 논문에서는 교육적 도메인으로 접근하여 MDA(Model Driven Architecture)상의 교수-학습지원 시스템을 정의한다. 또한 학습콘텐츠 표준 메타데이터를 이용하여 콘텐츠에 관한 분석 및 설계를 하고 MDA 자동화 툴을 이용한 핵심자산을 통해 실제 교수자가 필요로하는 콘텐츠를 제공할 수 있는 교수-학습지원 시스템을 개발하고자 한다. Contents application from contents development of web technical base and with the operation different environment information of the educational resources integration the importance and necessity of the management central chain e-Learning system will be able to operate are raising its head with base. Is the actual condition which develops the development process where but, the education application currently is not standardized in base. Approaches with an educational domain from the present paper consequently, and defines MDA(Model Driven Architecture) coats e-Learning System. Also uses a studying contents standard metadata and about the contents storage space analyzes and plans the core property which uses MDA automatic tools leads and under developing boil e-Learning System will be able to provide the contents which does in actual professor own necessity.

중량물 외장재 적용 무용접 하지재 시스템의 내진성능 평가

송유진(Song, Yu Jin),조봉호(Cho, Bong Ho),정담이(Jung, Dam I) 한국강구조학회 2021 한국강구조학회 학술대회 발표집 Vol.32 No.1

외장형 저장장치의 파일유출에 관한 연구

송유진(Yu Jin Song),이재용(Jae Yong Lee) 한국산업정보학회 2011 한국산업정보학회논문지 Vol.16 No.2

외장형저장장치의 다양한 종류와 대용량화로 인해 대다수의 컴퓨터 사용자들이 사용하고 있다. 그러나 외장형 저장장치의 사용이 증가하면서 파일 유출사고도 늘고 있다. 이러한 파일 유출은 컴퓨터서 파일을 실행하여 확인한 후 이동시키는 것과 파일명으로만 확인하고 이동시키는 경우로 나뉜다. 파일의 실행하여 확인하는 경우는 응용프로그램의 실행정보를 통해 흔적을 확인할 수 있으나 파일의 실행 없이 외장형 장치로 이동되는 경우 응용프로그램의 실행흔적이 남지 않아 포렌식 조사에 어려움이 많았다. 본 논문에서는 외장형 저장장치의 인식방법과 연결정보를 통하여 외장형 저장장치의 볼륨정보, 시간정보를 획득하는 방법과 링크파일의 분석을 통해 외장형 저장장치의 볼륨정보를 획득하여 서로 비교하고 링크파일의 생성시간정보, 접근시간 정보 등을 획득하여 파일의 실행 없이 외장형 장치로 이동되는 경우의 포렌식 조사에 도움을 줄 수 있는 방법을 제시한다. A lot of computer users use external memory device. But, same time file efflux incidents are also increasing. There are two ways people use for efflux file. One is moving it after checking file which is running on computer and the other is checking file name only. Checking from running file case, we can identify vestige with running information of applied program but, the case of moving as external device without running file there is no evidence running applied program. So there are a lot of difficulty with forensic investigation. In this paper we suggest the way to help forensic investigation which is method of getting external memory device information of volume and time through its awareness method and connection information and moving to external device without running file after compare the external memory device volume information through link file analysis and getting information of link file formation & access time from link file.

교원평가의 목적에 대한 비판적 고찰

송유진 ( Yu Jin Song ) 한국교육철학회 2007 교육철학 Vol.33 No.-

RSU와 OBU간의 차량 인증 보안 메커니즘

송유진(Yu-jin Song),이종근(Jongkun Lee) 한국정보과학회 2015 한국정보과학회 학술발표논문집 Vol.2015 No.6

팬형상 막냉각 홀의 출구에 적용된 wedge가 막냉각 효율에 미치는 영향

송유진(Yu Jin Song),정진영(Jin Young Jeong),곽재수(Jae Su Kwak),이동호(Dong-Ho Rhee),정희윤(Heeyoon Chung) 한국유체기계학회 2021 한국유체기계학회 학술대회 논문집 Vol.2021 No.7

Unified Process를 이용한 교수-학습지원 시스템 모델링

송유진 ( Yu-jin Song ),한은주 ( Eun-ju Han ),김지영 ( Ji-young Kim ),김행곤 ( Haeng-kon Kim ) 한국정보처리학회 2005 한국정보처리학회 학술대회논문집 Vol.12 No.1

웹 기술 기반의 컨텐츠 개발 및 운영으로 다른 환경에서의 컨텐츠 활용을 토대로 교육자원의 정보들을 통합 운영할 수 있는 관리 중심체인 e-learning 시스템의 중요성과 필요성이 대두되고 교육용 어플리케이션은 현재 표준화되지 않은 개발 프로세스를 기반하여 개발하고 있는 실정이다. 따라서, 국제적 표준인 SCORM(Sharable Content Object Reference Model)을 기반으로 높은 재사용성과 유지보수성을 극대화하기 위해 컴포넌트 개발 방법론(Component Based Development)을 적용해서 체계적으로 교육자원을 개발하고 지원하기 위한 교수-학습지원 시스템에 초점둔 연구가 요구된다. 따라서, 본 논문에서는 컴포넌트 개발 방법론중에서 Unified Process를 이용하여 교수-학습지원 시스템을 정의하고 SCORM기반의 메타데이터를 이용한 컨텐츠저장소에 관한 분석 및 설계를 한다. 이를 통해 실제 교수자가 필요로하는 컨텐츠 제공을 함으로써 재사용성 향상으로 교수-학습지원 시스템의 효율성을 극대화하고자 한다.

SIP-VoIP 보안 인증 모델

송유진(Yu-Jin Song),이재용(Jae-Yong Lee) 한국엔터테인먼트산업학회 2009 한국엔터테인먼트산업학회논문지 Vol.3 No.3

대중적인 통신수단인 인터넷은 VoIP기술의 발달로 기존의 인터넷망을 이용하여 전화뿐만 아니라 원격화상회의, SMS, 인스턴스 메시지 등의 기술과 결합하여 사용률이 급증하고 있다. 상업목적의 텔레마케팅 회사들이 IP기반의 VoIP서비스를 사용한다면 멀티 캐스트 및 브로드캐스트를 이용하여 한 번에 여러 곳의 주소에 같은 음성메시지를 보낼 수 있게 되어 VoIP 스팸을 유발하게 된다. 이에 본 논문에서는 TLS 핸드셰이크 프로토콜을 이용하여 데이터가 교환되기 이전에 서버와 클라이언트가 서로를 인증하고, 세션키를 통한 암?복호화를 수행하며 서버구간에서는 해시함수를 통한 HTTP digest 인증을 시도하는 SIP-VoIP 보안 인증 모델을 제안한다. The development of VoIP technology combined with the phone, video conference, SMS and instant messaging technology, resulted in a rapid growth of internet as a communication medium. If telemarketing companies use the IP based VoIP service, then it will create SPAM through multicast/broadcast and send the same voicemail to multiple addresses. This dissertation introduces the SIP-VoIP mode which uses the handshake protocol that allows the server and client to authenticate each other prior to the data exchange. It also allows the use of session key to operate the encryption and decryption, and enables HTTP digest authentication through hash function in servers.