샘플 데이터로 표현되는 사이버-물리 시스템의 취약점 분석 및 검출 불가능한 공격에 대한 방어 기법

학위논문 (박사) -- 서울대학교 대학원 : 공과대학 전기·정보공학부, 2020. 8. 심형보.The rapid evolution of communication network and computation speed has led to the emergence of cyber-physical systems in which the traditional physical plants are controlled remotely using digital controllers. Unfortunately, however, the separation between the plant and controller with a network communication provides a new chance for external adversaries to intrude control systems, which are highly connected to human life and social infrastructures. For this reason, among various issues of the cyber-physical system, security problems have gained particular attention to control engineers these days. This dissertation presents new theoretical vulnerabilities undetectable from the conventional anomaly detector, which arise due to the mixture of continuous- and discrete-time components on cyber-physical systems, and addresses countermeasures against such vulnerabilities. Specific subjects dealt with in the dissertation are listed as follows: 1) Zero dynamics attacks can be lethal to cyber-physical systems because they can be harmful to physical plants and impossible to detect. Fortunately, if the given continuous-time physical system is minimum phase, the attack is not so effective even if it cannot be detected. However, the situation can become unfavorable if one uses digital control by sampling the sensor measurement and using a zero-order hold for actuation because of the `sampling zeros.' When the continuous-time system has a relative degree greater than two and the sampling period is small, the sampled-data system must have unstable zeros, so that the cyber-physical system becomes vulnerable to `sampling zero dynamics attack.' In this dissertation, we present an idea to neutralize the zero dynamics attack for single-input and single-output sampled-data systems by shifting the unstable discrete-time zeros into stable ones. This idea is realized by employing the so-called `generalized hold' which replaces a standard zero-order hold. It is shown that, under mild assumptions, a generalized hold exists which places the discrete-time zeros at desired positions. Furthermore, we formulate the design problem as an optimization problem whose performance index is related to the inter-sample behavior of the physical plant, and propose an optimal gain which alleviates the performance degradation caused by generalized hold as much as possible, and in order to verify the theoretical results, we apply the proposed strategy to a DC/DC converter with an electrical circuit. 2) The zero dynamics attack has usually been studied as a type of actuator attack, but it can harm the physical plant through the sensor network. Specifically, when the system monitors abnormal behavior of the plant using the anomaly detector (fault detector), one can generate zero dynamics attack on the sensor network deceiving the anomaly detector by regarding the output of the plant and residual of the anomaly detector as a new input and output of a target system. It is noticed that this sensor attack is not so effective when the plant is stable even if the attack is still undetectable. Noting this point, we propose to reexamine the generalized hold as a countermeasure against the undetectable sensor attack. That is, using the fact that the output feedback passing through the generalized hold can stabilize the unstable systems by selecting an appropriate hold function, we show that the plant can be safe from the undetectable sensor attack. Furthermore, to relieve the performance degradation of the use of generalized hold feedback, we employ a discrete-time linear quadratic regulator minimizing a continuous-time cost function. 3) In the sampled-data framework, most anomaly detectors monitor the plant's output only at discrete time instants. Consequently, abnormal behavior between sampling instants cannot be detected if output behaves normally at every sampling instant. This implies that if an actuator attack drives the plant's state to pass through the kernel of the output matrix at each sensing time, then the attack compromises the system while remaining stealthy. This type of attack is always constructible when the sampled-data system has an input redundancy, i.e., the number of inputs being larger than that of outputs and/or the sampling rate of the actuators being higher than that of the sensors. Simulation results for the X-38 vehicle and other numerical examples illustrate this new attack strategy may result in disastrous consequences.디지털 장치들의 연산 속도와 네트워크 전송 속도의 급진적인 발전으로 고전적인 제어 시스템이 네트워크를 통해 원격으로 제어되는 사이버-물리 시스템(cyber-physical systems)이 등장하기 시작했다. 이러한 사이버-물리 시스템은 제어기와 제어 대상의 분리라는 특성상 외부의 악의적인 공격신호로 부터 공격당할 수 있는 잠재적인 위험에 노출되어 있으며 파워플랜트의 원격감시제어(SCADA, Supervisory Control And Data Acquisition)와 같은 사회 기반 시설과도 밀접한 연관이 있어 그 보안성에 관한 연구의 필요성이 강조되고 있다. 본 논문은 사이버-물리 시스템이 연속시간으로 이루어진 물리 플랜트(physical plant)와 디지털 제어기로 이루어져 있다는 사실로부터 이를 영차홀드(zero-order hold)와 샘플러(sampler)로 이산화(discretize)되는 샘플-데이터 시스템으로 표현하고, 연속시간과 이산시간의 결합으로 부터 발생할 수 있는 사이버 공격에 대한 이론적인 취약점을 분석하고 그에 대한 해결책을 제시한다. 구체적으로 본 논문에서는 다음의 세 가지 주제들을 다룬다. 첫 번째로, 본 논문은 시스템의 불안정한(unstable) 영점(zero)의 정보를 이용하여 입력 네트워크를 통해 주입될 경우 검출불가능(undetectable)한 영동역학 공격(zero dynamics attack)이 샘플 데이터 시스템에서 발생하는 샘플링 영점(sampling zero)을 이용하여도 가능하다는 점을 밝힌다. 그리고 영차홀드 대신 일반화된 홀드(generalized hold)를 이용할 경우 이산시간 시스템의 이산시간 영점을 모두 안정한(stable)한 영역으로 할당할 수 있다는 사실에 근거하여 영동역학 공격에 대한 근본적인 대응책으로 영차홀드를 일반화된 홀드로 대체하는 방안을 제안한다. 추가적으로, 일반화된 홀드를 이용할 경우 발생하는 성능저하를 최소화 하기 위해 볼록(convex) 최적화 문제로 일반화된 홀드를 설계하는 방법을 제시한다. 다른 한편, 이산시간 시스템의 출력 센서 네트워크를 입력 그리고 고장 검출기(fault detector)의 잔여신호(residual)를 출력으로 하는 시스템의 영동역학을 이용하여 검출 불가능한 센서 공격이 가능함을 보이고, 이에 대한 해결책으로 이산시간 출력 부터 연속시간 입력까지 일반화된 홀드를 이용한 피드백 루프를 추가하여 공격의 효과를 무효화하는 방법을 제안한다. 또한 이러한 피드백 루프로 인한 제어 성능 저하를 최소화하기 위해 연속시간 비용함수를 최소화하는 이산시간 최적 제어기법의 이용을 제안한다. 마지막으로, 영차홀드와 샘플러의 동작주기가 같지 않은 다중 입출력(MIMO) 샘플-데이터 시스템을 쌓인 시스템(lifted system)으로 표현쌓을 때 출력대비 입력 여유분이 많을 경우, 입력 네트워크를 통하여 검출 불가능한 공격을 가능하게 하는 충분조건을 찾고, 이를 활용하여 공격신호를 생성하는 설계법을 제안한다.1 Introduction 1 1.1 Overview of Security Issues on Cyber-Physical Systems 1 1.2 Contributions and Outline of Dissertation 4 1.3 Preliminary: Characterization of detectable and undetectable attacks 8 2 Use of Generalized Hold in Sampled-data Systems to Counteract Zero Dynamics Attack 13 2.1 Zero Dynamics Attack with Normal Form 13 2.1.1 Continuous-time Linear Systems 13 2.1.2 Sampled-data Linear Systems 16 2.1.3 Simulation Result: Zero Dynamics Attack on Sampling Zeros 18 2.1.4 Existing Countermeasures Against Zero Dynamics Attack 19 2.2 Optimal Generalized Hold Function to Neutralize Zero Dynamics Attack 22 2.2.1 Shifting discrete-time zeros by generalized hold 23 2.2.2 Design of optimal generalized hold function with security guaranteed 27 2.2.3 Simulation Results: Effect of Optimal Generalized Hold 34 2.3 Illustrative Example for Closed-loop System 36 2.4 Experiment: DC/DC Converter with Electrical Circuit 39 2.4.1 Simulation Results 43 2.4.2 Experiment Results 44 2.5 Study on the Effect of Generalized Hold on Intrinsic Zeros of Nonlinear Systems under Fast Sampling 47 3 Use of Generalized Hold Feedback in Sampled-data Systems to Counteract Zero-dynamics Sensor Attack 57 3.1 Undetectable Sensor Attack and its lethality 57 3.1.1 Construction of Zero Dynamics Sensor Attack 58 3.1.2 Simulation Results: Magnetic Levitation of a Steel Ball 61 3.2 Strategy to Neutralize Zero Dynamics Sensor Attack and Relieve Performance Degradation 63 3.2.1 Employing the generalized hold feedback to neutralize zero dynamics sensor attack 64 3.2.2 Simulation Results: Effectiveness of the Generalized Hold 69 3.2.3 DLQR under Consideration of Inter-sample Behavior 71 3.2.4 Simulation Results: Effectiveness of DLQR with Continuous-time Performance Index 77 4 Masking Attack for Sampled-data System via Input Redundancy 79 4.1 Problem Formulation 79 4.2 Design of Masking Attack with Zero-stealthy and Disruptive Properties 83 4.2.1 Clustering the Time Frame 86 4.2.2 Conditions for Masking Attack Design 90 4.2.3 Off-line Construction of Attack Signal 93 4.2.4 Practical Stealthiness of Masking Attack with R \in R 97 4.3 Simulation Results 99 4.3.1 Numerical Example: R = 1 with δ = 0 99 4.3.2 X-38 Vehicle: R = 4 with δ = 0 102 4.3.3 Numerical Example: R = 0.4 with δ = 0.75 105 5 Conclusion of Dissertation 111 BIBLIOGRAPHY 113 국문초록 121Docto

공통과학과 중, 고등학교 과학교과서의 물리 교과 내용이 요구하는 인지 수준 비교

제 6차 교육과정에서 신설된 공통과학은 내용의 수준을 중학교 수준으로 하향 조정하고 탐구 활동과 STS 정신을 강화시킨 최초의 고등학교 통합 과학 교과이다. 그러나 실제로는 학생들이 중학교 과학과 공통과학 내용에서 많은 수준 차이를 느끼며 공통과학을 어려워한다. 이는 공통과학의 내용 수준이 중학교 과학 및 학생들의 인지 수준에 비해 높음을 의미한다. 또한 많은 연구에서 학생들이 진급할수록 물리를 어려워하며 흥미를 잃어가고 있음이 밝혀졌다. 본 연구에서는 보다 효과적인 과학 학습 및 학생들의 인지 수준에 맞는 새로운 교과서 개발을 위해 공통과학과 중학교 과학, 고등학교 물리 I, II의 물리 교과 내용의 인지수준을 전체적, 주제별, 개념별로 분석, 비교하여 각 교과의 인지 수준을 판정하였다. 교과 내용의 분석은 영국의 CSMS(Concepts in Secondary Mathematics & Science)Program에서 개발한 물리 교과 내용 분류틀을 사용하였으며 분석 대상 교과서로는 중학교 과학의 경우 금성, 두산동아, 공통과학 교과서로는 한샘, 두산동아, 교학사, 대한 교과서, 물리 I , Ⅱ 교과서로는 금성 천재교육의 교과서를 임의로 선택하였다. 교과서의 내용이 요구하는 사고력 수준은 초기 구체적 조작기를 1, 후기 구체적 조작기를 2, 초기 형식적 조작기를 3, 후기 형식적 조작기를 4로 임의의 점수를 부여하였다. 이 연구의 결과를 요약하면 다음과 같다. 1. 각 교과의 물리 교과 내용이 요구하는 인지 수준 평균치는 중학교 과학 2.79, 공통과학 3.27, 물리 I 3.29, 물리 II 3.60 으로 나타나 공통과학의 물리 교과 내용이 요구하는 사고력 수준이 중학교 과학보다 월등히 높았으며 물리 I 의 수준과 비슷한 것으로 나타났다. 2. 각 교과서 모두 형식적 조작기에 해당하는 개념이 많았는데 전체 개념 중 중학교 과학의 68.2%, 공통과학의 82.8%, 물리 I 의 84.3%, 물리 Ⅱ의 94.1%의 개념이 형식적 조작기에 해당했으며, 특히 물리 Ⅱ의 경우 후기 형식적 조작기에 해당하는 개념의 비율이 가장 높았다. 3. 선행 연구에서 Piaget 이론과는 달리 대부분의 중·고등학생들의 인지 수준이 구체적 조작기에 해당하는 것으로 나타나 많은 학생들이 공통과학 및 타 교과의 물리를 어려워하고 흥미를 느끼지 못하는 것으로 보인다. 따라서 보다 효과적인 과학 학습을 위해서는 학생의 인지 수준 파악, 다양한 학습 자료와 수준이 조정된 새로운 교과서의 개발 등과 같은 교과 내용과 학생의 수준 차이를 줄이기 위한 다양한 노력이 필요할 것으로 보인다. ; Since the introduction of the general science, the first integrated science curriculum for high school students based on the 6th education program requiring downward adjustment of content level, giving priority to research and experiment activities and stressing the STS, it has been continuously pointed out by many high school science teachers that most of the high school students feel a big gap between the general science and the middle school science in content level, and that they are having difficulties in studying the general science. This means the content level of the general science is remarkably higher than that of the middle school science, which does not seem to well serve the main purpose of the 6th education program. Also, it has been reported by many existing studies that many of the high school students are losing their interest in physics as they are moving up to higher grades because of the big difficulties they are having in physics study. This study was made to determine the respective cognitive levels of the physics parts contained in the general science, the middle school science, the physics I and II for high school students through analysis and comparison by whole part, by subject and by concept respectively, in order to facilitate the more effective science study and development of new general science textbooks more sutable to the cognitive level of the students. The textbook content was analyzed by utilizing the physics textbook content analysis method specified in the CSMS (Concepts in Secondary Mathematics and Science) Program of England, and the following target textbooks were selected on a random basis. Middle school science : KumSung, Doosan Dong-A General science : HanSaem, Doosan Dong-A KyoHakSa, DaeHan Textbooks Physics I & II : KumSung, ChunJae KyoYook In order to determine quantitatively the cognitive levels required by respective textbooks, each of the following stages was given an arbitrary point based on the degree of difficulty. ◁표 삽입▷ (원문을 참조하세요) Summarized below are the results of this study. 1. The average cognitive levels required by the physics parts of each curriculum are 2.79 for the middle school science 3.27 for the general science 3.29 for the high school physics I 3.60 for the high school physics II The above shows that the cognitive level required by the general science level is far higher than the middle school science level and that it is almost the same as the high school physics I level. 2. As shown below, the concepts belonging to the formal operational stages account for the major portion of each of all the target textbooks and the high school physics II shows the highest percentage. ◁표 삽입▷ (원문을 참조하세요) 3. Contrary to the Piaget s theory, the existing studies which were utilized in this study report that most of the middle school and high school students fall within the category of concrete operational stages. This means many students seem to be having big difficulties and are not interested in studying physics parts contained in the general science and those in the other curriculums as well. All of the aboves boil down to the conclusion that in order to achieve more effective science education, it seems necessary to make overall reassessment of the cognitive levels of the students, to develop various educational materials and new textbooks with content levels readjusted to meet the students cognitive levels, and at the same time to make every effort to narrow the gaps between the content level and the cognitive level of the students.논문 개요 = v I. 서론 = 1 A. 연구의 필요성 및 목적 = 1 B. 연구 내용 = 3 C. 연구의 제한점 = 3 II. 이론적 배경 = 5 A. Piaget의 인지 발달 단계 이론 = 5 B. CSMS Program에 의한 물리 교과 내용 분류틀 = 8 C. 선행 연구 고찰 = 10 III. 연구 방법 = 15 IV. 연구 결과 및 분석 = 17 V. 결론 및 제언 = 58 참고 문헌 = 61 부록 1. 주위 환경과 학생들의 상호 반응에 대한 인지 수준 분류틀 = 66 부록 2. 과학적 사고 유형의 인지 수준 분류틀 = 71 부록 3. 물리 교과 내용 분류틀 = 76 Abstract = 8

Porous materials screening for gas storage and separation applications

Porous materials possess pores whose sizes are on the order of few Angstroms to few nanometers, which allow selective adsorption of guest molecules. Due to the large internal surface area and the enhanced adsorption capacities, porous materials are seen as promising candidates for many energy-related applications such as gas storage/separation and catalysis. Given the wide selections available in both the chemistry and the topology of the materials, thousands of porous materials have been experimentally synthesized but with infinite number of possible hypothetical structures available, rational material design becomes crucial in identifying optimal structures for specific applications. Within this context, various strategies utilized to conduct high-throughput screening of thousands of porous materials will be discussed in this presentation. The large-scale simulation data obtained from efficient screening techniques have led us to identify the optimal structures as well as their properties for various applications such as carbon capture and methane reduction. This demonstrates the importance of large-scale screening and their utility for novel materials discovery