자율주행자동차 위험 및 대응방안에 대한 고찰

정임영 한국콘텐츠학회 2020 한국콘텐츠학회논문지 Vol.20 No.6

Modern vehicles are evolving from manual to automatic driving. As the ratio of electrical equipment and software increases inside the vehicle, vehicles that support autonomous driving are becoming another open computer system that can communicate with the outside. The safety of the vehicle means the safety of both the passenger and the non-passenger. It is not clear whether the safety problem of ultimate autonomous vehicles can be solved by the current solution of computer systems related to fault tolerance and security. Autonomous vehicles should not be dangerous to people after they are released to the market, so it is necessary to proactively diagnose all the risks that can be predicted with current technology. This paper examines the current developments of autonomous vehicles and analyzes their dangers that threaten driving safety, as well as their countermeasures. 현대의 차량은 수동운전에서 자동운전의 시대로 진화하고 있다. 차량 내부에서는 전장기기와 소프트웨어의 비중이 점점 높아지면서 자동운전을 지원하는 차량은 외부와의 통신이 가능한 또 하나의 오픈 컴퓨터 시스템이 되어가고 있다. 자동차의 안전은 동승자와 비동승자의 안전을 의미한다. 현재 컴퓨터 시스템의 결함내성 및 보안 해법을 차용해서 아직 출현하지 않은 궁극적 자율주행자동차의 안전문제를 모두 해결할 수 있을 것인가는 단정할 수 없다. 자율주행차량이 시장에 나온 이후에 사람들이 위험해지면 안 되기 때문에, 현재의 기술력으로 예측할 수 있는 모든 위험을 사전에 진단하는 것이 필요하다. 그리고 출시되는 차량에 맞는 방어방안을 장착하는 것이 보다 안전한 차량을 개발하는 방법이 될 것이다. 본 논문은 자율주행자동차의 현재 개발 상황을 살펴보고, 주행 안전을 위협하는 자율주행자동차의 위험을 이에 대한 방어방안과 같이 분석하고자 한다.

A Fast and Exact Verification of Inter-Domain Data Transfer based on PKI

정임영,엄현상,염헌영 한국데이터전략학회 2011 Journal of information technology applications & m Vol.18 No.3

Trust for the data created, processed and transferred on e-Science environments can be estimated with provenance. The information to form provenance, which says how the data was created and reached its current state, increases as data evolves. It is a heavy burden to trace and verify the massive provenance in order to trust data. On the other hand, it is another issue how to trust the verification of data with provenance. This paper proposes a fast and exact verification of inter-domain data transfer and data origin for e-Science environment based on PKI. The verification, which is called two-way verification, cuts down the tracking overhead of the data along the causality presented on Open Provenance Model with the domain specialty of e-Science environment supported by Grid Security Infrastructure (GSI). The proposed scheme is easy-applicable without an extra infrastructure, scalable irrespective of the number of provenance records, transparent and secure with cryptography as well as low-overhead.

유휴 멀티 e-Science 그리드 자원 공유를 위한 통합 자원 접근 제어

정임영,정은진,염헌영,Jung, Im-Y.,Jung, Eun-Jin,Yeom, Heon-Y. 한국정보과학회 2008 정보과학회논문지 : 시스템 및 이론 Vol.35 No.9

본 논문은 e-Science 그리드 자원 공유를 위한 가볍고 솔기없는 통합 자원 접근제어를 제안한다. 그리드 컴퓨팅에 기반한 e-Science는 고가의 과학 실험 장비를 포함하는 그리드 자원을 원격조정하고 이로부터 얻은 데이타를 고성능 컴퓨터를 통해 처리하는 총체적인 도메인을 구성하여 과학자들의 연구를 돕는다. 그런데, 많은 사용자들이 그리드 자원을 이용할 때, 사용자가 소속된 e-Science 그리드에서 자원이 부족할 경우, 원하는 자원을 이용하기 위해 기다리거나 자원이용을 포기할 수 있다. 이런 경우, 적절한 보상 하에 타 그리드의 유휴 자원을 이용할 수 있으면 자원제공자와 사용자 모두에게 도움이 될 수 있다. 그런데, e-Science 그리드는 개개 그리드 단위로 특정 과학응용을 연구하는 과학자들의 사용편의를 위해, 가상 조직(Virtual Organization-VO)에 특화된 자원 접근정책이 운영되고 있기 때문에, 자원의 공유가 결코 쉬운 문제가 아니다. 본 논문은 e-Science 그리드 사용자가 복수 개 타 그리드의 공유자원을 이용할 때, 전체 그리드 차원의 자원접근정책 통합을 위한 선협정(Service Level Agreement-SLA)이 필요 없어 가볍고, 사용자가 소속 그리드의 자원을 이용하는 것과 같은 과정으로 추가적인 등록이 필요하지 않아 솔기없는 새로운 통합 자원 접근 제어를 제안한다. This paper proposes a light-weight, seamless integrated access control for global e-Science resource sharing. E-Science, based on Grid Computing, was designed to help scientists to remotely control and process the Grid resources such as high-end equipments and remote machines. As many researchers engage in the e-Science Grids, the researchers in a grid often have to wait for or give up use of the Grid resources, even when there are idle resources in other Grids. In this case, provided that proper compensation is given, Grid resource sharing is helpful both for the researchers and the Grids which provide their resources. But, sharing Grid resources globally is not simple, as each e-Science Grid is especially designed for resource sharing in its Virtual Organization(VO) and already has its unique access control policy for its resources. This paper proposes a new integrated access control for e-Science Grid resource sharing. The access control is light-weight without any priori service level agreement(SLA)s among the Grids which share their resources and seamless because the users can use the resources shared as the ones belonging to their Grids without their additional registration to the other Grids.

유휴 멀티 e-Science 그리드 자원 공유를 위한 통합 자원 접근 제어

정임영,정은진,염헌영 한국정보과학회 2008 정보과학회논문지 : 시스템 및 이론 Vol.35 No.10

This paper proposes a light-weight, seamless integrated access control for global e-Science resource sharing. E-Science, based on Grid Computing, was designed to help scientists to remotely control and process the Grid resources such as high-end equipments and remote machines. As many researchers engage in the e-Science Grids, the researchers in a grid often have to wait for or give up use of the Grid resources, even when there are idle resources in other Grids. In this case, provided that proper compensation is given, Grid resource sharing is helpful both for the researchers and the Grids which provide their resources. But, sharing Grid resources globally is not simple, as each e-Science Grid is especially designed for resource sharing in its Virtual Organization(VO) and already has its unique access control policy for its resources. This paper proposes a new integrated access control for e-Science Grid resource sharing. The access control is light-weight without any priori service level agreement(SLA)s among the Grids which share their resources and seamless because the users can use the resources shared as the ones belonging to their Grids without their additional registration to the other Grids. 본 논문은 e-Science 그리드 자원 공유를 위한 가볍고 솔기없는 통합 자원 접근제어를 제안한다. 그리드 컴퓨팅에 기반한 e-Science는 고가의 과학 실험 장비를 포함하는 그리드 자원을 원격조정하고 이로부터 얻은 데이타를 고성능 컴퓨터를 통해 처리하는 총체적인 도메인을 구성하여 과학자들의 연구를 돕는다. 그런데, 많은 사용자들이 그리드 자원을 이용할 때, 사용자가 소속된 e-Science 그리드에서 자원이 부족할 경우, 원하는 자원을 이용하기 위해 기다리거나 자원이용을 포기할 수 있다. 이런 경우, 적절한 보상 하에 타 그리드의 유휴 자원을 이용할 수 있으면 자원제공자와 사용자 모두에게 도움이 될 수 있다. 그런데, e-Science 그리드는 개개 그리드 단위로 특정 과학응용을 연구하는 과학자들의 사용편의를 위해, 가상 조직(Virtual Organization-VO)에 특화된 자원 접근정책이 운영되고 있기 때문에, 자원의 공유가 결코 쉬운 문제가 아니다. 본 논문은 e-Science 그리드 사용자가 복수 개 타 그리드의 공유자원을 이용할 때, 전체 그리드 차원의 자원접근정책 통합을 위한 선협정(Service Level Agreement-SLA)이 필요없어 가볍고, 사용자가 소속 그리드의 자원을 이용하는 것과 같은 과정으로 추가적인 등록이 필요하지 않아 솔기없는 새로운 통합 자원 접근 제어를 제안한다.

스마트카드에서의 효율적인 가비지콜렉션

정임영(丁任映),전성익(Sugn Ik Jun),정교일(Kyo II Chung) 대한전자공학회 2003 대한전자공학회 학술대회 Vol.2003 No.11

이미지 템플릿 매칭을 위한 확대 및 축소 효과의 제거

정임영(Im Y. Jung),압둘라힘압둘카비르올루와세군(Abdulkabir Abdulraheem) 한국콘텐츠학회 2022 한국콘텐츠학회 종합학술대회 논문집 Vol.2022 No.7

제한된 자원을 가지는 장치의 트랜잭션 구현 제안

정임영(Im Y. Jung),전용성(Yong S. Jeon),전성익(Sung I. Jun),정교일(Kyo-il, Chung) 한국통신학회 2002 한국통신학회 학술대회 및 강연회 Vol.2002 No.4

자바카드에서의 멀티 트랜잭션 처리

정임영(Im-Young Jung),전성익(Sung-Ik Jun),정교일(Kyo-il Chung) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.2Ⅰ

자바 스마트 카드에서의 트랜잭션 관리는 현재, 중첩된 트랜잭션 처리와 두개 이상의 동시적인 트랜잭션 처리를 고려하지 않고 있다. 그러나, 자바카드는 현재 카드상의 응용 애플릿의 멀티 셀렉션이 가능하고 멀티 통신 채널을 통한 다중 통신이 가능해졌다. 단일 트랜잭션만을 허용함으로 제약이 있었던 두개 이상의 애플릿에 걸친 트랜잭션 처리나 한 번의 통신으로 트랜잭션의 수명을 정하고 있었던 부분에서의 개선요구는 꾸준히 있어왔다. 동시에 처리할 수 있는 트랜잭션의 수를 늘리는 것은 카드에서 메모리와 처리능력을 꾸준히 높이고 있는 현 상황에서는 당연한 요구이다. 본 논의에서는 현재 ETRI에서 개발 중인 차세대 IC카드에의 멀티 트랜잭션 처리로 스마트카드에서의 기존 트랜잭션 처리를 확장해보고자 한다.

A Light-weight, Adaptive, Reliable Processing Integrity Audit for e-Science Grid

정임영(Im Young Jung),정은진(Eunjin Jung) 한국정보보호학회 2008 정보보호학회논문지 Vol.18 No.5

E-Science Grid is designed to cope with computation-intensive tasks and to manage a huge volume of science data efficiently. However, certain tasks may involve more than one grid can offer in computation capability or incur a long wait time on other tasks. Resource sharing among Grids can solve this problem with proper processing-integrity check via audit. Due to their computing-intensive nature, the processing time of e-Science tasks tends to be long. This potential long wait before an audit failure encourages earlier audit mechanism during execution in order both to prevent resource waste and to detect any problem fast. In this paper, we propose a Light-weight, Adaptive and Reliable Audit, LARA, of processing Integrity for e-Science applications. With the LARA scheme, researchers can verify their processing earlier and fast.

HVEM 데이터그리드 상의 효율적인 트랜잭션 관리

정임영 ( Im Y. Jung ),김은성 ( Eunsung Kim ),최형준 ( Hyung Jun Choi ),염헌영 ( Heon Y. Yeom ) 한국정보처리학회 2007 한국정보처리학회 학술대회논문집 Vol.14 No.2

HVEM DataGrid[1]는 연구자들이 초고압 전자현미경(HVEM-High Voltage Electron Microscope)을 이용한 실험 결과를 효율적으로 관리하고 공유하기 위한 공간이다. 여러 사람들이 동시에 이용하는 시스템으로 이종 저장소(heterogeneous storage)들을 포함할 수 있는 HVEM DataGrid 는 HVEM 실험결과를 이들의 메타정보와 같이 동기적으로 저장해야 한다. 이런 HVEM DataGrid 의 특성을 고려한 트랜잭션 관리는 트랜잭션의 ACID 성질을 만족하는 동시에 용량이 큰 e-Science 결과물을 효율적으로 다룰 수 있는 방안이 또한 필요하다. 따라서, 본 논문은 HVEM DataGrid 의 이종 저장소에 걸친 트랜잭션에 대한 효율적인 관리 방안을 제안한다.