Kang-Park의 Mobile IPv6 바인딩 갱신 보안 프로토콜 개선

유일선 대한전자공학회 2007 電子工學會論文誌-TC (Telecommunications) Vol.44 No.10

The routing optimization mode, which Mobile IPv6 provides for the direct communication between a mobile node and its correspond node, introduces various security threats, thus causing several protocols to be proposed for the secure binding update procedure. In particular, the Kang-Park protocol, which Kang and Park presented in 2005, achieves the optimized cryptographic operations and the strong security, while based on its unique security proxy structure. In spite of such advantages, it has some drawbacks in terms of security and efficiency. This paper improves the Kang-Park protocol through the strong CoA validation and early binding update methods. Also, we show that the improved protocol is better than others. MIPv6의 경로 최적화 모드는 이동노드와 대응노드사이의 직접적인 통신을 위해 제안되었다. 그러나 경로 최적화 모드는 뛰어난 효율성에도 불구하고 다양한 보안위협을 초래하였고, 그 결과 바인딩 갱신 과정을 보호하기 위한 보안 프로토콜들이 개발되었다. 특히, 2005년도에 강현선과 박창섭이 제안한 Kang-Park 프로토콜은 홈에이전트 중심의 독창적인 보안 프록시 구조를 바탕으로 이동노드의 연산 부담을 최소화하는 동시에 보안성을 강화하였다. 이러한 장점에도 불구하고 Kang-Park 프로토콜은 보안성과 효율성측면에서 문제점을 드러내었다. 본 논문에서는 강력한 CoA 유효성 검증과 이른 바인딩 갱신 기법을 통해 Kang-Park 프로토콜의 문제점을 개선한다. 또한, 기존 프로토콜들과의 비교를 통해서 개선 프로토콜이 우수함을 보인다.

프로토콜 설계 및 보안성 정형화 검증에 용이한 가시화 플랫폼 도구 개발

유일선,박훈용,이희연,윤건 순천향대학교 부설 산업기술연구소 2019 순천향 산업기술연구소논문집 Vol.25 No.1

With the emergence of Internet and other open networks, several security protocols have been developed and deployed with the intent of providing a secure communication between communicating parties. However, analysis of these security protocols revealed that many protocols are defective, which makes formal analysis of security protocols indispensable. The most effective ways to prove such protocols are to demonstrate an attack or assess their accuracy using formal verification tools such as AVISPA, ProVerif, and Scyther. There is, in general, difficulty of learning scripting languages of these tools to verify the security, the verification method and the output of each tool. In order to solve these difficulties, we developed ProveMySelf- a tool that can easily design, express and verify protocols by visualizing them. In this paper, we prove the normal operation of this program by comparing the results of designing and verifying a protocol through ProveMySelf with the existing formal verification tool.

국제무역과 소득분배에 대한 교육의 역할

유일선 국제지역학회 2010 국제지역연구 Vol.14 No.3

In this paper is two-step trade model introduced. It is assumed that countries have 3 basic factors- capital(K), land (Z)and population(N)-as national factor endowments. As the first step, education 'produces' 'educated labor(EL)' which embodies new knowledge or new technology by using the population and capital as inputs. As the second step, manufacturing goods is produced with EL and uneducated labor(UL), and agriculture goods with land and UL. According to this model, the higher the increase rate of capital in a country is, the lower the usage rate of land is, the lower the increase rate of discount is, the country tends to export the manufacturing goods and import the agriculture goods. Trade widens the discrepancy of increase rate of EL in both countries but reduces the gap of increase rate of relative wage of EL as far as the gap of usage rate is not so big. Trade also affect real income rather than nominal income. This model can be extended to explain the migration from rural areas to urban areas when the manufacturing sector and education organization exist in urban area while the agricultural sector exist in rural area. 이 논문은 한 국가가 요소부존으로 인구(N), 자본(K)과 토지(Z)를 갖는다고 가정한다. 1단계로 교육은 인구와 자본을 결합하여 신지식과 신기술을 체화한 ‘교육노동’(educated labor)을 ‘생산’하고, 2단계로 ‘교육노동’과 '비교육노동'(uneducated labor)을 결합하여 제조업을 생산하고 ‘비교육노동’과 토지를 결합하여 농산물을 생산하는 무역모형을 제시한다. 이 모형에 의하면 일단 무역이 시작되면 국가의 특성에서 자본증가율이 높을수록, 토지사용률이 낮을수록, 할인율상승률이 낮을수록 제조품이 수출되고 농산품이 수입되는 무역패턴이 강화된다는 것이다. 또한 자본증가율, 인구증가율, 토지사용률과 할인율의 차이가 있는 국가간 무역이 발생하면 이 무역모형은 양국의 교육노동증가율 격차는 확대되고 교육노동 상대임금 상승률은 토지사용률의 차이가 있는 경우를 제외하고 그 격차가 축소되는 것을 보여준다. 그리고 두 노동자간 소득비율변화에 대해서 무역은 명목소득 비율보다는 실질소득 비율에 더 영향을 미치고 있다는 것을 보여주고 있다. 도시지역에 교육부문과 제조업이, 농촌지역에 농업이 존재한다고 한다면 농촌지역에서 도시지역으로 인구이동현상을 교육노동자가 되기 위한 것과 제조업과 농업의 한계생산물 차이로 설명할 수 있는 모형으로 확대적용할 수 있다.

한․중 서비스 무역의 수출경쟁력 비교분석

유일선,김영환 국제지역학회 2009 국제지역연구 Vol.13 No.2

When it comes to current balance, both of Korea and China enjoy the trade surplus in goods while both countries suffer trade deficit in service. This facts demonstrate that two countries have comparative disadvantages in service industry. In order to identify the international competitiveness of trade in service between Korea and China, several indexes such as TSI, RSCA and IMS was calculated, using the IMF's balance of payments (BOP) statistics as proxy. The results of this analysis are as follows. Korea has a comparative advantage in four sectors (Transportation services, Financial services, Royalties & license fees and Personal․cultural․recreation), while China has a comparative advantage in five sectors (Travel, Communication services, Insurance services, Computer & information services and Other Business services). Construction services are indeterminate. However, the competitiveness of the two sectors-communication and computer & information-which China has a comparative advantage will be transferred to Korea if some effort to reinforce the competitiveness is added because the gap is being narrowed. 한국과 중국 모두 세계시장에서 재화무역에서는 수출경쟁력이 있고 서비스무역에서는 경쟁력이 없으나 양국은 서비스무역 비중이 확대되고 있고 FTA논의를 통해 양국간 서비스무역은 더욱더 확대될 전망이다. 이런 배경 하에서 본 논문은 한ㆍ중간 서비스산업의 부문별 수출경쟁력을 측정하는데 그 목적이 있다. IMF의 BOP 통계수치를 이용하여 한․중 양국의 서비스 무역에 대한 수출경쟁력을 측정하기 위해 무역특화지수(TSI), 수정현시비교우위(RSCA)지수와 국제시장점유율(IMS) 및 수출증가율을 사용해서 서비스무역의 국제경쟁력을 부문별로 비교분석하였다. 그 결과 한국은 운송서비스, 금융서비스, 특허권 등 사용료, 개인․문화․오락 부문 등 4개 부문에서, 중국은 여행서비스, 통신서비스, 보험, 컴퓨터 및 정보, 기타 사업서비스 부문 등 5개 부문에서 국제경쟁력을 가지는 것으로 평가되었다. 건설부문은 비교우위를 판정할 수 없었다. 그러나 중국이 비교우위를 가지고 있는 통신서비스와 컴퓨터 및 정보서비스부문은 비교우위격차가 축소되어 서비스무역의 국제경쟁력 강화노력이 이루어지면 중국보다 경쟁력에서 우위에 설 수 있다.

중국 국유기업 개혁과정의 부패현상 분석

유일선 경희대학교 사회과학연구원 2008 社會科學硏究 Vol.34 No.2

Since Reform & Open Policy in 1978, China has attempted to reform state-owned enterprises(SOEs) by pursuing the social stability and economic efficiency at the same time. Based upon these two roles of SOEs, I has built up economic model, which ensures the corruption will result from the difference of the objective pursued by the politician for social stability or the manager for economic efficiency. With trade-off relation between social stability and economic efficiency, these two objectives can't be achieved at the same time. So social stability should be made separate from SOEs' which is encouraged to improve the economic efficiency. And the property rights related to SOEs should be transferred to the manager of SOEs. Instead government should play a role as the producer of market-oriented institutions and outside inspector. 중국은 체제전환과정에서 국유기업을 통해서 사회안정(고용유지)과 경제적 효율성을 동시에 추구하는 방향에서 개혁을 시도하였다. 본 논문은 국유기업개혁과정에서 사회안정을 목표로 하는 정치가와 경제적 효율성을 목표로 하는 경영자가 각자 목표를 추구할 때 기업 경영권 배분문제와 관련하여 부패가 발생할 수 있다는 것을 경제모형을 통해서 제시하고 있다. 두 목표가 상쇄관계(trade-off)에 있기 때문에 국유기업은 이것을 동시에 달성할 수 없다. 이것의 해결방법은 국유기업도 비국유기업처럼 경제적 효율성에 전념하도록 해야 한다. 이렇게 하기 위해 국유기업이 담당한 사회안정 역할을 분리하고 기업의 재산권을 경영자에게 명확하게 이전해야한다. 그리고 정부는 완전한 시장제도 창출자로서, 기업경영에 대한 외부감시자로 역할을 수행해야 한다.

무역과 경제발전의 관계 : 이론적 고찰

유일선 한국해양대학교 국제해양문제연구소 2007 국제해양문제연구 Vol.19 No.-

3-축 Flux-gate Magnetometer를 사용한 자기장 분포측정 장치제작

유일선,이성민,김은애,정다혜,손대락 한국자기학회 2013 한국자기학회 학술연구발표회 논문개요집 Vol.2013 No.5

네트워크 취약점 검색공격에 관한 분석

유일선,최승교 三陟大學校 産業科學技術硏究所 2004 産業科學技術硏究論文集 Vol.9 No.1

Today, the number of automated network vulnerability scanners such as mscan, sscan and nmap is constantly increasing and more attacks are successfully initiated. Thus, such tools cause intrusions and other attacks to become more widespread and sophisticated. This paper analyzes network vulnerability scan attacks and discusses the way of detecting such attacks.

두 Signal의 거리, 위치, Contrast의 변화에 따른 Signal Detection의 Threshold Visual Angle

유일선,박준호,김영수,김재용,이면우 대한산업공학회 2008 대한산업공학회 추계학술대회논문집 Vol.2008 No.11

본 실험에서는 시각의 Signal Detection 의 Threshold Visual Angle에 대해서 연구하였다. 피실험자들은 화면에 제시된 두 개의 자극을 읽었어야 했으며, 이는 signal의 위치, signal과 배경간 대비와 signal의 종류, 색 변화 따라 다르게 제시되었다. 피실험자가 글자(숫자 혹은 알파벳)를 제대로 읽었는지를 시각 범위를 달리하여 기록하였으며, signal의 거리, 위치, signal-배경 명암 대비가 통계적으로 유의한 결과를 보였다. signal의 색과 숫자/문자 여부는 인식여부에 유의한 영향을 주지 않았다.

HMD 기반 가상현실 환경에서 조작 과업에 대한 사용성 평가 연구

유일선 대한산업공학회 2024 대한산업공학회 춘계학술대회논문집 Vol.2024 No.5