1982–2021년 기간 대한해협 저층냉수의 장기 변동성

학위논문(석사) -- 서울대학교대학원 : 자연과학대학 지구환경과학부, 2023. 8. 나한나.The Korea Strait serves as an inlet of the East Sea since the Tsushima Warm Current, a branch of the Kuroshio Current, flows into it through the Korea Strait. The major water masses in the Korea Strait include the Tsushima Warm Water (with temperatures above 10°C and salinity exceeding 34.3 psu), transported by the Tsushima Warm Current, and the Korea Strait Bottom Cold Water (KSBCW) characterized by temperatures below 10°C, predominantly found at greater depths in the western channel of the Strait. In this study, long-term variations of the KSBCW were analyzed using in situ temperature data obtained from the Korea Oceanographic Data Center from 1982 to 2021. The vertical temperature section of the Korea Strait exhibits an interannual variation of the KSBCW as its primary mode of variability on time scales longer than the seasonal cycle. The second most significant mode reflects an enhancement of both the KSBCW and the Tsushima Warm Water since the mid-1990s, implying a strengthening of vertical stratification. The first mode shows a significant relationship with the upper-layer water temperature variability in the southwestern part of the East Sea. The regression analysis using the ERA5 wind fields targeting the first mode reveals that the KSBCW is strengthened, associated with basin-scale counterclockwise wind-stress curl anomalies. The second mode, however, is suggested to be related to clockwise wind-stress curl anomalies. The relationship between the KSBCW variability and the basin-scale wind variations suggests future works exploring the link with larger-scale climate variations in the broader North Pacific.대한해협은 쿠로시오 해류의 지류인 쓰시마 난류가 동해로 유입되는 통로이다. 대한해협의 주요 수괴로는 쓰시마 난류가 수송하는 쓰시마 온난수(수온 10℃ 이상, 염분 34.3 psu 이상)와, 주로 서수도 깊은 수심에서 발견되는 수온 10℃ 이하의 대한해협 저층냉수가 있다. 이 연구에서는 1982년부터 2021년까지의 기간 동안 한국해양자료센터에서 제공하는 정선해양관측 수온 자료를 사용하여 대한해협 저층냉수의 장기 변동을 분석하고, 동해 남서쪽 울릉분지 상층 수온 변동과의 관계를 살펴보았다. 또한 ERA5 바람 자료를 사용하여 분지규모 바람장과의 상관관계를 분석하였다. 208 정선 대한해협 수온 수직 단면 분석 결과 계절 변동보다 긴 주기에서 가장 주요한 모드가 대한해협 저층냉수의 경년 변동인 것으로 나타났다. 이 모드에 회귀분석한 바람은 분지 규모에서 반시계 방향의 회전 성분을 보였다. 두번째로 주요한 모드는 1990년대 이후 대한해협 저층냉수와 쓰시마 온난수가 모두 강화되는 수직 성층이 강화를 나타냈다. 이 모드에 회귀분석한 바람은 분지 규모에서 시계 방향의 회전 성분을 보였다. 이러한 분지 규모 바람장과의 상관성을 바탕으로, 앞으로의 연구에서는 대한해협 저층냉수의 장기 변동이 북태평양 기후 변동과 어떠한 상관성을 가지는지에 대한 분석이 필요할 것으로 생각된다.Abstract i Table of Contents iii List of Figures iv 1. Introduction 1 1.1. Background 1 1.2. Objectives 7 2. Data and Methods 8 2.1. Data 8 2.2. Methods 9 3. Results 13 3.1. Climatology 13 3.2. KSBCW in Summer 15 3.3. First EOF mode 16 3.4. Second EOF mode 21 3.5. Relationship with wind variability 26 4. Discussion and Conclusion 30 Bibliography 36 Abstract in Korean 39석

해마 하위 영역 CA1과 CA3의 장면 자극에 기반한 장소 표상 형성 연구

학위논문 (박사) -- 서울대학교 대학원 : 자연과학대학 뇌인지과학과, 2021. 2. 이인아.When we recall the past experiences, we usually think of a scene which is a combination of what we saw, the sounds we hear, and the feeling we felt at that moment. Since the scene is an essential component of episodic memory, studying how scene stimuli are represented and stored in the brain is important in understanding the processes of formation, storage, and retrieval of our memories. One of the brain regions important for episodic memory is the hippocampus. It has been reported that patients or animals with damage to the hippocampus have trouble with retrieving past experiences or forming new memories. The hippocampus is involved not only in episodic memory but also in the formation of a cognitive map. In particular, the place cells observed in the rodent hippocampus play a key role in these functions. However, research on place cells has mainly focused on the firing patterns of cells during foraging in a space, and it has not been clear how hippocampal cells represent and make use of visual scenes for behavior. To find how scene stimuli are represented in place cells, I measured spiking activities of single neurons in the CA1, one of the subregions of hippocampus, and the subiculum, a major output of the hippocampus. Neuronal spiking activity was monitored when the rat performed a task of selecting right or left associated to the scene stimulus presented on monitors. As a result, I found that the place cells in the CA1 and subiculum showed rate modulation according to the scene stimulus. In addition, I also conducted an experiment using a virtual reality system to investigate the neural mechanisms of the formation of a place field based on visual scenes. In this experiment, the rat ran on a virtual linear track as visual cues were added one by one to make a scene-like environment. Neuronal activities of place cells were recorded in the CA1 and CA3 simultaneously to study the neural mechanisms of the development of a place field on the basis of external visual stimuli. Place fields appeared in the CA1 even with a single visual cue, whereas in the CA3, place fields only emerged when a sufficient number of visual cues were collectively arranged in a scene-like fashion. The results suggest that that scene is one of the key stimulus that effectively recruits the hippocampus.우리는 과거의 경험을 떠올릴 때 그 때를 묘사하는 문장을 떠올리는 것이 아니라 경험 한 순간에 보았던 것, 들렸던 소리, 느꼈던 감정 등이 복합적으로 어우러진 장면을 떠올리게 된다. 이렇게 장면은 일화 기억을 구성하는 중요한 요소라 할 수 있기에 장면 자극이 뇌에서 어떻게 표상되며 저장되는지를 연구하는 것은 우리 기억의 형성과 저장, 재인 과정을 이해하는데 있어 매우 중요하다고 볼 수 있다. 뇌에서 일화 기억을 담당한다고 알려진 영역은 해마로써, 해마에 손상을 입은 환자들 또는 동물들이 과거의 기억을 인출하거나 새로운 기억을 형성하는데 있어 어려움을 겪는다는 것이 여러 실험을 통해 보고 된 바 있다. 해마는 일화 기억뿐만 아니라 공간에 대한 지도를 형성하는 데에도 관여하는데, 특히, 설치류 해마에서 관찰 되는 장소 세포가 이러한 해마의 기능들을 수행하는데 핵심적인 역할을 하는 것으로 알려져 있다. 하지만 장소 세포는 주로 쥐가 공간을 탐색하는 과정에서의 발화 패턴을 관측한 연구가 주를 이루었으며 장면 자극이 개별 장소 세포의 발화 패턴을 통해 어떻게 표상이 되는지에 대한 연구는 미미한 수준이다. 이 논문에서 나는 장면 자극이 해마의 장소 세포에서 어떻게 표상되는지를 알아보고자 쥐가 모니터에 제시 된 장면 자극을 보고 오른쪽이나 왼쪽을 선택해야 하는 과제를 수행 할 때 해마의 하위 영역인 CA1과 해마의 정보를 전달 받아 뇌의 다른 영역으로 정보를 전달하는 해마이행부의 단일 세포 활동을 측정하였다. 그 결과 CA1과 해마이행부에서 관찰 된 장소 세포들이 장면 자극에 따른 발화율 변화를 보인다는 것을 확인 할 수 있었다. 이에 더하여 나는 해마의 장소 세포들이 장소장을 형성하기 위해서 필요한 시각 자극이 무엇이며, 이에 장면 자극이 어떤 역할을 하는지 확인하기 위해 가상 환경을 이용한 실험을 수행하였다. 이 실험에서는 쥐가 선형 트랙을 달릴 때, 빈 공간에서 시작하여 장면 자극을 형성 할 때까지 시각 자극을 하나씩 추가하면서 해마의 하위 영역인 CA1과 CA3의 장소 세포 활동을 측정 하는 과정을 통해 어떤 시각 자극이 장소 세포의 장소장 형성에 가장 큰 영향을 미치는 것인지 알아보았다. 그 결과 CA1의 장소 세포는 간단한 시각 자극의 추가에도 장소장을 잘 형성하는 모습을 보인 반면 CA3의 장소 세포들은 충분한 시각 자극이 모여서 장면 자극을 형성 한 경우에 장소장을 형성하는 것이 관찰되었다. 이러한 일련의 실험을 통하여 나는 장면 자극이 해마의 장소 세포 발화를 통해 표상되며, 해마의 하위 영역이 모두 장면 자극 처리에 관여하지만 그 중에서도 특히 CA3가 장면 자극을 처리 할 때에 한하여 큰 활성을 보인다는 것을 밝혔다.Abstract i Table of Contents iii List of Figures iv Background 1 Scene processing in the hippocampus 2 Anatomical connections of CA1 and CA3 4 Properties of place cell activity 7 Chapter 1. Visual scene representation of CA1 and subiculum in the visual scene memory task 10 Introduction 11 Materials and methods 14 Results 31 Discussion 60 Chapter 2. Role of the visual scene stimulus for place field formation in CA1 and CA3 65 Introduction 66 Materials and methods 68 Results 80 Discussion 107 General Discussion 118 Bibliography 124 국문초록 140Docto

Exploring Neighborhood Ranges through Walking Big Data: An Empirical Study based on WalkOn Data in Jamsil Area

학위논문 (석사)-- 서울대학교 대학원 : 공과대학 건축학과, 2018. 8. 최재필.생활권은 주민들의 일상생활, 즉 통학, 통근, 쇼핑, 오락 등이 이루어지는 공간적 영역으로, 소위 살기 좋은 동네를 만들고자 건축⋅도시 분야에서 오랫동안 사용된 계획 개념이다. 우리나라의 경우, 대규모 개발로 진행된 공동주택 단지 계획을 통해 생활권 계획이 적극적으로 시도되었으며, 여러 차례 단지 계획을 거치며 생활권 계획 개념이 점차 발전되었다. 그러나 수십 년에 걸쳐 진행된 수많은 생활권 계획 사례가 국내 도시 곳곳에 있지만, 우리가 계획한 동네가 과연 생활권으로써 적절히 기능하고 있는지에 대한 실증적 검토는 아직 부족한 실정이다. 따라서 본 연구는 잠실 거주민의 생활영역을 실증적 데이터를 통해 측정함으로써, 70년대 대표적인 생활권 계획 사례인 잠실 지구의 생활권이 현재 어떻게 기능하는지를 검토하고자 하였다. 지금까지 생활권에 대한 실증적 연구가 부족했던 까닭은, 주민들의 생활영역을 측정하기 위해서 많은 비용이 필요했기 때문이다. 특정 지역에 거주하는 사람들의 생활영역을 측정하기 위해서는 여려명의 주민들의 이동 패턴을 광범위한 시간적, 공간적 범위에서 수집해야한다. 이는 기존의 이동 패턴 수집 방식으로는 현실적으로 어려웠다. 하지만 최근에 활용 가능해진 모바일 빅데이터를 통해서, 막대한 양의 데이터를 용이하게 수집할 수 있게 되었으며 이를 통해 거주민의 생활영역에 대한 측정 또한 가능해졌다. 본 연구에서는 스왈라비㈜의 모바일 어플리케이션 WalkOn 사용자의 보행경로 데이터를 기반으로 잠실지역 거주민의 생활영역을 측정하였다. 생활영역 측정을 위해서, 야생동물 연구에서 야생동물의 Home Range 추정에 사용되는 Kernel Method를 활용하였다. Kernel Method는 다량의 거주민 위치 데이터를 통해 구체적인 경계를 갖는 생활영역을 측정할 수 있는 통계 기법으로, 이를 기반으로 잠실 지역 거주민들에 대하여 공통적인 기준으로 생활영역을 측정하고 생활영역의 면적 및 형태에 대한 구체적인 분석을 시행할 수 있었다. 연구 대상지로 잠실지구의 `12개 주거지 블록를 선정하였으며, 해당 블록의 거주민들의 생활영역 측정을 위해 2016년 9, 10, 11월의 WalkOn 어플리케이션 보행 행태 데이터를 활용하였다. 최종적으로 연구 대상지에 거주하는 총 140명의 WalkOn 유저와 3개월간 그들의 근린 내 보행경로 데이터 31376개가 분석에 사용되었다. 데이터 처리 및 생활영역 측정 과정에서, WalkOn 데이터의 전처리 및 보정을 위해서는 Excel 2016를 사용하였으며, Kernel Method를 통한 생활영역 측정을 위해서는 ArcGIS 10.2.2와 공간분석 프로그램인 GME 0.7.3.0을 사용하였다. Kernel Method를 통해 최종적으로 측정된 140명 거주민의 생활영역의 분석을 통해 나타난 주요 연구 결과는 다음과 같다. 첫째, 생활영역의 유형 분류 기준을 제시하였다. 이동성과 시간성을 고려하여 생활영역의 유형을 네 가지로 구분할 수 있었다. 유형 구분의 기준으로 이동성은 거주민이 해당 생활영역에 보행을 통해 접근했는지, 보행 외 교통수단을 통해 접근했는지를 의미하며, 시간성은 거주민이 일반적으로 생활을 영위하는 공간(Kernel 90% 영역)인 일반생활권인지, 거주민의 일상생활이 집중되는 공간(Kernel 50% 영역)인 집중생활권인지의 구분을 의미한다. 이러한 기준을 통해 보행 접근 생활영역이면서 일반생활권인 근린생활영역, 보행 접근 생활영역이면서 집중생활권인 근린집중생활영역, 보행 외 교통수단 접근 생활영역이면서 일반생활권인 지역생활영역, 보행 외 교통수단 접근 생활영역이면서 집중생활권인 지역집중생활영역의 4가지 유형으로 생활영역을 구분하였다. 둘째, 잠실 거주민 생활영역의 면적과 이와 관련한 요소를 도출하였다. 먼저 생활영역의 면적을 살펴보면, 근린생활영역 평균 면적은 49.0ha, 근린집중생활영역 평균 면적은 9.1ha, 지역생활영역의 평균 면적은 5.0ha, 지역집중생활영역의 면적은 1.5ha로 나타났다. 이러한 생활영역의 면적 분포를 통해서 일반적인 잠실지구 거주민들의 생활영역을 정량적으로 파악할 수 있었다. 생활영역의 면적과 관련있는 첫 번째 요소는 거주민 개인 특성인 연령대이다. 40대 이하 거주민과 50대 이상 거주민간의 차이가 나타났는데, 40대 이하 거주민은 50대 이상 거주민에 비해 근린생활영역 면적이 작고, 지역생활영역이 크게 나타났다. 두 번째 요소는 지역적 특성인 거주지와 중심지구 간의 거리이다. 거주지와 중심지구 간 거리가 가까울수록 거주민 근린생활영역의 면적이 커지는 경향을 확인할 수 있었다. 셋째, 간선도로의 도시형태적 기능에 대하여 고찰하였다. 근린생활영역의 형태를 분석한 결과, 생활영역의 형태는 거주블록 내부의 면적인 형태와 간선도로를 통해 거주블록 외부로 확장하는 선적인 형태를 모두 갖는 것을 알 수 있었다. 이는 간선도로라는 도시형태적 요소가 생활권을 구분하는 경계로의 기능과 생활영역이 확장하는 통로로의 기능을 모두 지닌다는 것을 의미한다. 넷째, 잠실지구의 아파트 단지의 자족성과 폐쇄성에 대하여 고찰하였다. 먼저 자족성의 경우, 근린생활영역의 형태를 내부형, 근거리 확장형, 원거리 확장형으로 구분하여 분석한 결과, 잠실지구의 아파트 단지 거주민의 생활영역은 저층 주거지 거주민의 생활영역에 비하여 내부형이 적고 근거리 확장형이 많이 나타나, 아파트 단지의 자족성이 저층 주거지에 비해 떨어짐을 알 수 있었다. 그리고 폐쇄성의 경우, 근린생활영역 확장 패턴을 살펴보았을 때, 아파트 단지가 외부인들의 확장형 생활영역에 포함되지 않는 경향이 나타나, 아파트 단지가 외부인들에게 폐쇄적인 성격을 지닌다는 것을 확인할 수 있었다. 이를 종합하면 잠실지구의 아파트 단지는 저층 주거지에 비하여 자족적이지 못하며, 외부인들에게 폐쇄적인 속성을 갖는다고 할 수 있다. 지금까지 잠실지구 거주민의 생활영역을 개인 특성 및 도시형태적 특성과 연관지어 고찰해보았다. 본 연구의 결과는 거주민 생활영역 측정을 위해 새로이 시도한 연구방법론에 기반한다. 모바일 빅데이터를 통해 얻어진 거주민 보행 행태 데이터를 Kernel Method를 활용하여 생활영역을 측정함으로써 생활영역을 구체적이고 입체적으로 측정할 수 있었다. 이러한 시도는 기존의 생활영역 측정 방법의 한계를 극복하고, 생활권 연구에 모바일 빅데이터를 활용하는 방법론을 제시한다는데 그 의의가 있다.1. 서 론 1 1.1 연구의 배경과 목적 1 1.2 연구의 범위와 방법 3 2. 이론적 고찰 8 2.1 근린 생활권 계획과 잠실지구 8 2.1.1 국내 주거지 생활권 계획의 흐름 8 2.1.2 잠실 지구의 생활권 계획과 기존 해석 10 2.2 매핑을 통한 생활영역 측정 13 2.2.1 매핑의 방법론적 가능성과 한계 13 2.2.2 매핑을 통한 잠실의 생활영역 분석 15 2.3 위치 데이터를 통한 생활영역 측정 17 2.3.1 이동경로 측정방식의 흐름 17 2.3.2 위치데이터를 통한 생활영역 추정 연구 19 2.4 연구의 차별성 및 필요성 23 3. 분석의 틀 25 3.1 대상지 25 3.1.1 대상지 범위 및 개요 25 3.1.2 대상지 분석 27 3.2 WalkOn 데이터 속성 및 한계 31 3.2.1 데이터의 속성과 특징 31 3.2.2 데이터의 한계 및 보정 33 3.3 데이터 선별 및 개요 36 3.3.1 거주민 선별 과정 36 3.3.2 블록별 거주민 인원 및 특성 37 3.4 Kernel Method를 통한 생활영역 추정 40 3.4.1 커널밀도추정(Kernel Density Estimation) 40 3.4.2 Kernel Method를 통한 거주민의 생활영역 추정 42 4. 잠실 거주민 생활영역 양상 46 4.1 생활영역 유형 및 유형별 분포, 면적 46 4.1.1 생활영역 유형 46 4.1.2 생활영역 유형 및 면적 분포 52 4.2 생활영역의 형태적 특성 60 4.2.1 근린생활영역 형태 유형 60 4.2.2 근린생활영역 유형별 형태 특성 67 4.3 시설이용 양상 74 4.3.1 근린집중생활영역 바탕의 거주민 시설이용 분석 74 4.3.2 지역집중생활영역 바탕의 거주민 시설이용 분석 81 4.4 분석결과 종합 83 4.4.1 생활영역 면적 분석 83 4.4.2 생활영역의 형태 및 간선도로의 기능 85 4.4.3 블록의 자족성과 폐쇄성 86 5. 결론 90 참고문헌 95 Abstract 98Maste

미들박스와 엣지컴퓨팅을 위한 전송 보안 계층 확장 연구

학위논문 (박사) -- 서울대학교 대학원 : 공과대학 컴퓨터공학부, 2020. 8. 권태경.인터넷 트래픽이 HTTPS로 암호화되면서 웹 캐시나 방화벽 같은 미들박스는 특별한 조치가 없이는 동작하기 어려운 상태가 되었다. 그러다보니 현업에서는 미들박스를 암호화된 세션에서 활용하기 위해 공개키 인증 구조의 신뢰 방식을 오용하여 SplitTLS라고 하는 TLS를 가로채는 기법을 사용하고 있다. 그렇지만 지난 몇 년간 발표된 여러 논문에서는 미들박스가 잘못 구현되었거나 미들박스 설정이 잘못되어 SplitTLS를 수행하는데 있어 여러 보안 문제가 발생하고 있다는 것이 밝혀졌다. 이 논문은 미들박스가 TLS 세션에 안전하고 신뢰성있게 참여하기 위한 방법을 설계하고자 한다. 이를 위해 우리는 먼저 미들박스를 중간자 역할을 수행하는 미들박스와 종단점 역할을 수행하는 미들박스로 구분하였다. 중간자 역할을 수행하는 미들박스란 통신 시간에 서버와 클라이언트 가운데서 동작을 수행하는 중개자이며, 종단점 역할을 수행하는 미들박스란 세션이 활성화된 동안 미들박스가 서버처럼 동작하는 개체를 의미한다. 전자의 예로는 침입 탐지 시스템이 있으며 후자의 예로는 웹 캐시가 있다. 이 구분 하에서 우리는 미들박스를 TLS 세션에 참여시키기 위한 23개의 프로토콜에 대해 검토하였다. 23개 중 14개는 중간자 역할을 수행하는 미들박스를 위한 프로토콜이며, 9개는 종단점 역할을 수행하는 미들박스를 위한 프로토콜이다. 우리는 선행 연구를 검토하면서 다음의 교훈을 얻었다. 우선 중간자 역할을 수행하는 미들박스를 위한 프로토콜을 설계하는데 있어서 먼저 고려해야 할 점은, 미들박스가 과도한 퍼미션을 갖지 않도록 최소 권한을 줄 수 있는 방법을 찾아야 한다는 것이었다. 또한, 서버가 세션에 참여하기 때문에, 서버가 암호학적 방법을 통해서 클라이언트에게 미들박스에 대한 정보를 줄 수 있다는 점도 고려할 수 있다는 것을 알게 되었다. 다음으로 종단점 역할을 수행하는 미들박스를 위한 프로토콜을 설계하는데 있어서 중요하게 고려해야 할 점은 서버가 세션에 참여하지 않기 때문에, 서버로의 통신이 추가되는 것은 바람직하지 않다는 점과 키 관리에 있어서 서버에게 부하가 가지 않도록 되어야 하며 기밀 키의 개수는 최소화할 수 있어야 한다는 점이었다. 이 논문에서는 위 교훈점을 바탕으로 maTLS와 TLS-SEED라는 두 개의 프로토콜을 제안하였다. 먼저, maTLS 프로토콜은 중간자 역할을 수행하는 미들박스를 위한 프로토콜이다. 현재 미들박스를 보안 세션에 참여시키기 위한 SplitTLS라는 프로토콜은 매우 많은 보안 문제점이 발견 되었다. 여러 선행 연구들이 TLS와 미들박스를 결합하면서 인증서 검증 실패나 오래된 암호 기법을 사용하거나 원치 않는 수정을 한다는 것을 밝혀 내었다. 이러한 보안 취약점을 해결하기 위해 우리는 maTLS 프로토콜을 제안하였다. 이 프로토콜은 미들박스가 TLS 세션에 자신을 드러내면서 감독될 수 있는 형태로 참여하도록 한다. TLS 세션에 참여하는 모든 미들박스들은 세션을 두 개의 세그먼트로 분할하며 각 세그먼트는 해당 세그먼트를 위한 보안 파라미터를 갖는다. maTLS 프로토콜은 미들박스를 인증하고 각 세그먼트들의 보안 파라미터를 검증하며, 미들박스의 쓰기 연산을 감독하도록 설계되었다. 이렇게 하여 전체 세션의 보안성이 보장된다.이 보안성이 실제 달성된다는 것을 보이기 위해 우리는 최신 보안성 검증 도구인 Tamarin을 활용하여 증명하였으며 실제 테스트베드 실험을 통해 maTLS가 약간의 오버헤드를 가지면서 위 보안성 목표를 달성한다는 것을 보였다. 다음으로 TLS-SEED는 종단점 역할을 수행하는 미들박스를 위한 프로토콜이다. 특별히 우리는 엣지 컴퓨팅 시나리오를 고려하면서 이 프로토콜을 설계하였다. 엣지 컴퓨팅이란 계산과 저장 노드를 클라이언트에 가깝게 위치시켜서 클라이언트에게는 빠른 응답을 제공하고 서버에게는 대역폭 부하를 줄이도록 한다. 일반적으로 엣지 컴퓨팅 플랫폼은 애플리케이션 제공자나 클라이언트에게 서드 파티이기 때문에 이 두 개체는 모두 높은 수준의 보안성을 요구할 것이다. 이에 따라 우리는 \tls를 제안하였으며, 이를 통해 위험한 개인키 공유 문제와 비효율적인 원격 입증 문제를 해결하고자 하였으며, 동시에 엣지 컴퓨팅의 장점인 성능 향상을 유지토록 하고자 하였다. TLS-SEED는 애플리케이션 서비스 제공자가 i) 자신의 개인키를 공유하지 않으면서도 엣지 애플리케이션을 도입할 수 있도록 만들어주고, ii) 원격 입증을 수행하여 엣지 애플리케이션을 인가하거나 비인가할 수 있도록 해준다. 또한 애플리케이션 서비스 제공자가 클라이언트에게 엣지 애플리케이션에 대한 충분한 정보를 제공하여 클라이언트가 입증 서비스에 의존하지 않더라도 엣지 애플리케이션에 대해 이해할 수 있도록 해준다. TLS-SEED를 위한 핵심 자료 구조는 CrossCredential (CC)이며, 이는 클라이언트에게 애플리케이션 제공자와 신뢰할 수 있는 기기 사이의 신뢰 관계를 명시적으로 보여준다. CC는 또한 클라이언트가 엣지 애플리케이션의 무결성을 검증할 수 있도록 충분한 정보를 제공한다. TLS-SEED를 수학적으로 증명하기 위해, 우리는 ACCE-SEED라는 TLS-SEED를 위한 보안 모델을 도입하였다. 이 모델은 TLS를 위한 ACCE 모델을 TLS-SEED에 적합하도록 확장한 것이다. 이 모델을 바탕으로 우리는 TLS-SEED가 ACCE-SEED 안전하다는 것을 보였다. 마지막으로, 테스트 베드 기반 실험을 통해 우리는 TLS-SEED가 무시할만한 부하만 일으키기 때문에 실현 가능하다는 것을 증명하였다.Internet traffics are getting encrypted with HTTPS, which makes middleboxes blind. To introduce middleboxes in the encrypted session, the TLS interception schemes (\aka \splittls) that abuse the public key infrastructure (PKI) are widely used in practice. Several papers, however, demonstrate that the SplitTLS practice is risky due to incorrect implementation or misconfiguration of middleboxes. This dissertation aims to design secure and trustworthy methods to introduce middleboxes in the TLS session. To this end, we first classify middleboxes into two types called a middlebox-as-a-middlebox and a middlebox-as-an-middlebox. A middlebox-as-a-middlebox is an intermediary between a client and a server at communication time, while a middlebox-as-an-endpoint is an intermediary that takes on the role of a server during the session. An example of the former is an intrusion detection system and that or the latter is a web cache. Then we conduct literature reviews over 23 protocols (14 protocols for a middlebox-as-a-middlebox and 9 protocols for a middlebox-as-an-endpoint) that make middleboxes participate into TLS sessions. From our reviews, we have learned the following lessons. For a protocol with a middlebox-as-a-middlebox, we should consider the least privilege of a middlebox to limit it not to perform functionality with excessive permission in design. Also, since a server is involved into the session, we can use a server to help a client to understand a middlebox. For a protocol with a middlebox-as-an-endpoint, we should consider a method not to add further round-trips to a server. In addition, the number of secrets should be minimal and the overhead for the key management should not be placed on a server. In this disseration, we propose two protocols called maTLS and TLS-SEED, based on our learnings. The maTLS protocol is a protocol for a middlebox-as-a-middlebox. Existing solutions, such as SplitTLS, which intercepts TLS sessions, often introduce significant security risks by installing a custom root certificate or sharing a private key. Many studies have confirmed security vulnerabilities when combining TLS with middleboxes, which include certificate validation failures, use of obsolete ciphersuites, and unwanted content modification. To address these issues, we introduce a middlebox-aware TLS protocol, dubbed maTLS, which allows middleboxes to participate in the TLS session in a visible and auditable fashion. Every participating middlebox now splits a session into two segments with their own security parameters in collaboration with the two endpoints. The maTLS protocol is designed to authenticate the middleboxes to verify the security parameters of segments, and to audit the middleboxes' write operations. Thus, security of the session is ensured. We prove the security model of maTLS by using Tamarin, a state-of-the-art security verification tool. We also carry out testbed-based experiments to show that maTLS achieves the above security goals with marginal overhead. The TLS-SEED protocol is a protocol for a middlebox-as-an-endpoint, especially considering a scenario of edge computing. Edge computing is an emerging technology to bring computation and data storage closer to clients, to provide fast responses and to reduce the bandwidth usage in cloud servers. An edge computing platform is typically a third party to an application service provider and a client, both of which require high security assurance. Therefore, we propose TLS-SEED, a TLS extension that addresses risky private key sharing and inefficient remote attestation on the third party, while preserving performance in edge computing. TLS-SEED allows an application service provider (i) to deploy its edge application without sharing its private keys, (ii) to authorize/deauthorize its edge application by performing remote attestation, while presenting sufficient information for a client to verify the edge application without relying on an attestation service. A central data structure of TLS-SEED is a Cross Credential (CC) that shows a client the trust relation between an application service provider and a trusted device. The CC also gives the client the ability to verify the integrity of the edge application. To formally analyze TLS-SEED, we introduce ACCE-SEED, a formal model for TLS-SEED, by extending the ACCE model for TLS, and show TLS is ACCE-SEED secure. Furthermore, testbed-based experiments show that TLS-SEED can be substantiated with a negligible performance overhead.Chapter 1 Introduction 1 1.1 Motivation 1 1.2 Background 2 1.2.1 Types of Middleboxes 3 1.2.2 Transport Layer Security 4 1.2.3 X.509 Certificates 5 1.2.4 Certificate Transparency 5 1.2.5 TLS Interception 6 1.2.6 Problems of SplitTLS 7 Chapter 2 Literature Review 11 2.1 Middlebox-as-a-Middlebox 11 2.1.1 Types of Protocols 11 2.1.2 Takeaways 16 2.2 Middlebox-as-an-Endpoint 16 2.2.1 Types of Protocols 16 2.2.2 Takeaways 21 Chapter 3 maTLS: How to Make TLS middlebox-aware 22 3.1 Introduction 22 3.2 Trust and Threat Models 26 3.3 Auditable Middleboxes 27 3.3.1 Middlebox Certificates 27 3.3.2 Middlebox Transparency 28 3.3.3 Properties of Auditable Middleboxes 28 3.4 Middlebox-aware TLS (maTLS) 30 3.4.1 Security Goals 30 3.4.2 maTLS Design Overview 32 3.4.3 maTLS Handshake Protocol 38 3.4.4 maTLS Record Protocol 40 3.5 Security Verification 41 3.5.1 Protocol Rules 42 3.5.2 Adversarial Model 42 3.5.3 Security Claims 43 3.6 Evaluation 45 3.6.1 Experiment Settings 45 3.6.2 HTTPS Page Load Time 46 3.6.3 Scalability of Three Audit Mechanisms 48 3.6.4 CPU Processing Time 50 3.7 Discussions 51 3.7.1 Incremental Deployment 51 3.7.2 Abbreviated Handshake 51 3.7.3 Mutual Authentication 52 3.7.4 TLS 1.3 Compatibility 52 3.7.5 Mobility Support 52 3.7.6 P2P Communication 53 3.8 Conclusion 53 Chapter 4 TLS-SEED: How to SEcurely Communicate with EDge Computing Platforms 55 4.1 Introduction 55 4.2 Preliminary 58 4.2.1 Edge Computing 59 4.2.2 Trusted Execution Environment 61 4.2.3 TLS on the Third Party 63 4.3 SEED Overview 66 4.4 SEED Design 68 4.4.1 Security Goals 68 4.4.2 Cross Credential (CC) 69 4.4.3 TLS-SEED:TLS extensions for SEED 70 4.4.4 Implications of Cross Credential 75 4.5 Security Analysis 76 4.5.1 Overview of ACCE 76 4.5.2 ACCE-SEED Protocol Execution Environment 77 4.5.3 ACCE-SEED Security 80 4.5.4 Security Result 82 4.6 Evaluation 86 4.6.1 SEED Implementation 86 4.6.2 Experiment Settings 87 4.6.3 Performance Evaluation 88 4.7 Discussions 92 4.7.1 Incremental Deployment Scenario 92 4.7.2 Mobility Support 92 4.7.3 Dependency on TEEs 92 4.8 Conclusion 93 Chapter 5 Conclusion 94 Bibliography 96 Chapter A Cryptographic Definitions 105 A.1 Cryptographic Definitions 105 A.2 Oracles 109 국문초록 110 Acknowledgements 113Docto

프로스포츠 구단과 팬의 관계의 질이 심리적 안녕감에 미치는 영향 :

학위논문 (석사)-- 서울대학교 대학원 : 체육교육과, 2016. 8. 최의창.현대인들이 살아가는데 있어서 행복은 중요한 요소 중 하나이다. 우리는 가족, 친구, 동료와 같은 사회 구성원들과 함께 스포츠를 하고, 텔레비전, 인터넷 등과 같은 매체를 통해 시청하는 등 다양한 방법으로 스포츠를 통해 삶을 즐기고 있다. 특히 프로 스포츠 산업이 발전하면서 특정 구단을 응원하며 팬으로서 야구, 축구, 농구, 배구 등 다양한 스포츠를 관람하는 인구가 늘고있다. 자신들이 좋아하는 팀을 응원하고, 관련된 정보를 사회구성원과 공유하는 현상은 현대인들에게 여가 생활을 넘어 현대 사회에 새로운 사회 문화로 자리잡은 것이다. 우리가 연고지역 팀을 응원하며 소속한 집단에 대해 갖게 되는 애착심과 동일시는 팬의 행복과 관계가 있다. 많은 선행연구들에서 프로 스포츠 팀 동일시가 연고 지역 도시 주민과 팬의 행복에 긍정적인 영향을 준다고 보고하였다. 하지만 스포츠 관람과 인간의 삶의 질에 대한 구체적인 관계에 대해서는 연구가 미흡한 상황이다. 이러한 맥락에서 본 연구에서는 관계 마케팅 이론에 근거하여 구단과 팬의 관계가 팬의 행복에 어떠한 영향을 주는지 알아보고자 한다. 구체적으로 프로 스포츠 팀의 관계의 질의 5개(진실성, 호혜성, 몰입성, 친밀감, 자아연관) 하위 요인이 팬의 심리적 안녕감에 미치는 영향을 검증하고자 한다. 이를 통해 학술적으로 관람 스포츠와 개인의 삶의 질 관련 연구 분야의 심층적인 발전에 기여하고자하며, 실무적으로도 새로운 관계 마케팅 패러다임 등 실증 자료를 제시하고자 하는 것이 본 연구의 목적이다. 이를 위해 본 연구에서는 편의표본 추출방법으로 추출한 한국 프로야구 팬을 대상으로 온라인 설문조사를 시행하였으며, 총 300부의 자료를 수집하였다. 이 중 45개의 불성실한 응답을 제외한 285부의 자료를 통계 분석에 사용하였다. 연구가설을 검증하기 위하여 SPSS 23을 사용하여 기술통계분석, 신뢰도분석, 다중 회귀분석을 시행하였으며, AMOS 2.0을 사용하여 확인적 요인분석을 시행하였다. 연구 결과, 프로 스포츠 팀과 팬 간의 호혜성과 친밀감은 팬의 심리적 안녕감에 통계적으로 정(+)적 영향을 미치는 것을 확인하였다. 반면, 프로 스포츠 팀과 팬 간의 신뢰성, 몰입성, 자아연관은 팬의 심리적 안녕감에 통계적으로 유의미한 관계가 없는 것으로 나타났다. 마지막으로 시행된 조절 효과분석에서는 경기장 내 서비스 질이 팬의 심리적 안녕감에 관계에 미치는 영향이 없는 것으로 나타났다.For human beings, happiness or well-being is one of the most important elements in their life. For many, good quality of life is the ultimate goal of human life. People everywhere enjoy sports through participating and watching at home or stadiums with their social members such as friends and family. Through involvement in sports, people can attain an enjoyable life and happiness. Previous studies have proved that participating in physical and leisure activities has a positive effect on human happiness or well-being. Moreover, spectator sports have a positive influence on human happiness. For example, self-identification as a fan for a particular team is a factor that affects a fans psychological well-being. However, there is not much existing research indicating which specific factors in spectator sports affect quality of life. This study applied relationship marketing theory to professional sports context and linked it with human psychological well-being. The purpose was to examine the influence of relationship quality between professional sports teams and fans on the fans psychological well-being in order to find how much the 5 factors of relationship quality impact the fans psychological well-being, and then to show how the findings from this research can lead to practical developments in both practical and academic sectors. This study conducted an online survey and collected 330 completed survey samples from professional baseball fans in Korea. From the 330 collectged samples, 285 samples were ultimately used for data analysis. SPSS 21.0 was applied for descriptive, reliability, and multiple regression analysis. Confirmatory factor analysis was performed through using AMOS 20.0. The result of this study found that reciprocity and intimacy between a sports team and its fan has a positive effect on the fans psychological well-being, even though there are no positive effects in trust, commitment, and self-connection. In addition, service quality was measured as a moderator variable and proved that there is no moderated effect on or between two variables: relationship quality and psychological well-being. The findings of this study determined that relationship marketing in professional sports context can enhance peoples psychological well-being. With this theoretical evidence, sports managers can better understand the importance of relationship marketing regarding consumers happiness. The expected potential result is the creation of better effective marketing strategies.Chapter 1. Introduction 1 1.1 Background 1 1.2 Research Objective 6 1.3 Research Questions 7 1.4 Definition of Terminology 7 1.4.1 Relationship Quality 7 1.4.2 Psychological Well-Being 7 1.4.3 Service Quality 7 Chapter 2. Literature Review 8 2.1 Social Identity Theory 8 2.1.1 Influence of Social Identity Theory on Human Well-Being 10 2.2 Relationship Marketing 13 2.3 Relationship Quality 18 2.3.1 Trust 23 2.3.2 Commitment 26 2.3.3 Intimacy 27 2.3.4 Self-Connection 29 2.3.5 Reciprocity 31 2.4 Psychological Well-being 33 2.5 Research Model & Hypothesis 39 2.5.1 Research Model 39 2.5.2 Hypothesis 40 Chapter 3. Method 49 3.1 Participants and Procedures 49 3.2 Instrumentation 50 3.2.1 Item Development 50 3.2.2 Independent Variable 51 3.2.3 Dependent Variable 52 3.2.4 Moderator Variable 52 3.2.5 Control Variable 52 3.2.6 Pilot Study 53 3.3 Measurement 54 3.3.1 Descriptive Analysis 54 3.3.2 Confirmatory Factor Analysis 54 3.3.3 Reliability Analysis 55 3.3.4 Multiple Regression Analysis 55 Chapter 4. Results 56 4.1 Descriptive Statistics 56 4.2 Confirmatory Factor Analysis 58 4.3 Reliability Analysis 61 4.4 Hypothesis Verification 71 Chapter 5. Discussion & conclusion 78 5.1 Discussion 78 5.2 Implication 80 5.2.1 Theoretical Implication 80 5.2.2 Managerial Implication 82 5.3 Limitation & Future Research 83 5.4 Conclusion 85 REFERENCES 86 국문 초록 95 APPENDIX 98Maste

A Constitutional Study on the Current Law Regulating Child Pornography in Korea

학위논문 (석사)-- 서울대학교 대학원 : 법학과, 2015. 2. 송석윤.헌법 제21조가 보장하는 표현의 자유는 민주사회 발전에 필수불가결한 기본권으로서 우리나라를 비롯한 세계 각국에서 매우 중요하게 다루고 있는 가치다. 표현의 자유에 의하여 보호되는 표현은 반드시 높은 정치적·예술적 가치 등을 지녀야 하는 것은 아니며 인간의 성(性)을 다룬 표현물 역시 구체적인 보호 범위에 대한 논란은 존재할 수 있더라도 최소한 일정 범위 이상은 표현의 자유에 의하여 보호될 수 있다. 현행 아동·청소년의 성보호에 관한 법률은 아동의 권익 보장 및 아동에 대한 성범죄 예방이라는 기치 하에 아동의 성(性)에 관하여 다룬 표현물, 즉 아동 포르노그래피의 규제를 강화하는 방향으로의 개정이 지속되고 있다. 이에 대하여 논란이 가열되고 있는 현재 시점에서 현행법이 표현의 자유를 비롯한 기본권 제한의 관점에서 고찰할 때 헌법상 허용될 수 있는 한계를 준수하고 있는 것인지 한번쯤 검토하여 볼 필요가 있다. 이 논문은 성(性) 표현과 표현의 자유의 보호영역에 관한 논의를 선결적으로 검토한 후 이러한 헌법적 차원에서의 고찰을 전제로 하여 현행법상의 아동 포르노그래피 관련 규정의 위헌성 여부를 고찰한다. 먼저, 현행법은 성 표현의 제한과 관련하여 문화적·사회학적 개념인 포르노그래피라는 용어 대신에 일률적으로 음란이라는 용어를 사용하고 있다. 표현의 자유의 확대라는 관점에서 최소한 온라인 공간에서의 표현을 규율하는 정보통신망 이용촉진 및 정보보호 등에 관한 법률상의 음란의 범위는 헌법재판소가 판시한 바처럼 축소 해석함이 타당하다. 또한 미연방대법원의 경우와는 달리, 음란 표현이라도 일단 헌법 제21조의 표현의 자유의 보호영역에 해당한다고 보고 이를 헌법 제37조 제2항에 의하여 제한할 수 있을 뿐이라고 판시한 우리 헌법재판소의 태도는 타당하다. 이러한 논리는 아동 포르노그래피의 경우에도 마찬가지로 적용될 수 있으나, 18세 미만의 실제 아동으로 하여금 실제의 혹은 가상의 성행위를 하도록 하는 아동 포르노그래피의 경우에는 당해 아동에게 미치는 인격적 침해가 매우 중대하므로 예외적으로 헌법상 표현의 자유의 보호영역에서 배제하여야 할 것이다. 이러한 논의들을 바탕으로 하여 본격적으로 아동·청소년의 성보호에 관한 법률상 아동 포르노그래피를 규제하고 있는 조항들의 위헌성을 검토하여 본다. 먼저, 국내의 미성년자 관련 법체계 전반과 헌법상 보호영역과의 관계 등을 종합적으로 고찰할 때 아동·청소년의 성보호에 관한 법률에서 사용하고 있는 개념인 아동·청소년이용음란물에 관한 연령을 18세로 하향 조정할 필요가 있다. 또한 아동·청소년이용음란물 제2조 제5호의 정의 조항 중 아동·청소년으로 명백하게 인식될 수 있는 사람 부분 및 표현물 부분 역시 표현의 자유를 침해하는 과도한 규제이므로 삭제가 요청된다. 뿐만 아니라 아동·청소년이용음란물의 단순 소지를 처벌하는 동 법 제11조 제5항 역시 과잉금지원칙에 위반하여 국민의 기본권을 침해하므로 삭제가 요구된다. 아동 성범죄 예방이라는 공익도 소중하지만 이러한 가치를 추구하는 과정에서 표현의 자유를 비롯한 헌법상 기본권을 보장하여야 한다는 요청과도 조화를 이루도록 하여야 한다. 이를 위하여 현행 아동·청소년의 성보호에 관한 법률은 가벌성을 축소하는 방향으로의 개정이 필요하다.제 1 장 서론 1 제 1 절 연구의 목적 1 제 2 절 연구의 방법과 범위 3 제 2 장 음란이 표현의 자유의 보호영역에 해당하는지 여부 5 제 1 절 우리나라와 미국에서의 표현의 자유의 의의 5 1. 우리나라의 경우 5 가. 표현의 자유의 의의 및 내용 5 나. 언론․출판의 자유의 보호영역과 제한 6 2. 미국의 경우 – 수정헌법 제1조의 태도 7 제 2 절 포르노그래피와 음란물의 의의 9 1. 포르노그래피의 정의 및 분류 9 2. 음란 개념에 관한 고찰 12 가. 현행법상의 음란 개념 12 나. 대법원 판례의 동향 14 다. 헌법재판소 판례의 태도 15 라. 검토 – 정보통신망 이용촉진 및 정보보호 등에 관한 법률상의 음란 개념을 중심으로 17 3. 소결 21 제 3 절 음란이 표현의 자유의 보호영역에 해당하는지 여부 22 1. 헌법재판소의 태도 22 가. 변경 전 95헌가16 결정의 요지 22 나. 변경 후 2006헌바109 결정의 요지 22 다. 판례 변경에 대한 찬반론 24 2. 미연방대법원의 태도 – Miller v. California 판결을 중심으로 26 가. Miller v. California 판결의 요지 26 나. 판결의 평석 26 3. 검토 28 제 4 절 소결 33 제 3 장 아동 포르노그래피의 표현의 자유의 보호영역에의 해당 여부 34 제 1 절 아동 포르노그래피의 의의 및 해악 34 1. 아동 포르노그래피의 의의 34 2. 아동 포르노그래피의 해악 36 가. 아동에 대한 성적 학대의 야기 36 나. 아동 성범죄의 유발 및 방조 38 3. 소결 40 제 2 절 아동 포르노그래피의 헌법상 표현의 자유의 보호영역에의 해당 여부 40 1. 헌법재판소 판례의 태도 40 가. 판시사항 40 나. 대상 판례의 평석 41 2. 미국 판례의 태도 – New York v. Ferber 판결을 중심으로 43 가. 사실관계 43 나. 판시사항 43 3. 우리 헌법상 아동 포르노그래피의 표현의 자유에 의한 보호 가능성 여부와 논거 44 4. 헌법상 표현의 자유의 보호영역에서 배제되는 아동 포르노그래피의 범위에 관한 고찰 48 가. 실제 아동인지 여부에 따라 표현의 자유의 보호영역에의 해당 여부가 달라지는지 여부 48 나. 아동의 범위 설정 문제 49 다. 묘사의 노골성의 정도 52 제 3 절 소결 54 제 4 장 현행법상 아동음란물 규정에 관한 쟁점 55 제 1 절 현행 아동․청소년의 성보호에 관한 법률상 아동음란물 관련 규정의 고찰 55 1. 현행법상 아동음란물 관련 규정의 실태 55 2. 아동음란물 관련 규정의 개정 연혁 58 3. 현행법의 헌법적 관점에서의 고찰 60 제 2 절 동안(童顔) 성인 등장 표현물에 관한 쟁점 62 1. 아동․청소년으로 명백하게 인식될 수 있는 사람 부분의 해석에 관한 판례의 태도 62 가. 지방법원 판례의 태도(수원지방법원 2013. 2. 20. 선고 2012고단3926 판결) 62 나. 대법원 판례의 태도(대법원 2014. 9. 24. 선고 2013도4503 판결) 63 2. 현행 아청법상 아동․청소년으로 명백하게 인식될 수 있는 사람 부분에 대한 헌법적 판단 66 가. 막연하기 때문에 무효의 원칙에 비추어 본 현행법의 위헌성 66 나. 과잉금지원칙의 위반 여부 68 3. 소결 71 제 3 절 가상 아동(virtual child) 포르노그래피 규제에 관한 쟁점 71 1. 논의의 전제 71 2. 우리나라의 법제 및 학설과 판례의 동향 73 가. 현행법의 태도 73 나. 가상 아동 포르노그래피 처벌의 타당성에 관한 견해의 대립 73 다. 헌법재판소 판례의 태도 75 3. 외국의 사례 76 가. 국제 협약의 태도 76 나. 미국의 태도– Ashcroft v. Free Speech Coalition 판결을 중심으로 78 다. 일본의 태도 80 라. 검토 80 4. 가상 아동 포르노그래피 처벌의 위헌성 81 가. 표현의 자유의 보호영역에의 해당 여부 81 나. 과잉금지원칙의 위반 여부 82 5. 소결 85 제 4 절 아동음란물 단순 소지자 처벌 규정에 관한 쟁점 86 1. 처벌 대상인 아동음란물 단순 소지의 의의 86 가. 실정법의 태도 86 나. 경찰청의 아동음란물 소지의 단속 기준 86 다. 소지의 개념에 대한 고찰 88 2. 아동음란물의 단순 소지를 처벌하는 것의 위헌성의 고찰 89 가. 아동음란물 단순 소지 처벌에 대한 견해의 대립 89 나. 검토 – 과잉금지원칙의 관점을 중심으로 91 3. 소결 96 제 5 절 소결 97 제 5 장 결론 99 참고 문헌 103 Abstract 107Maste

On the Semantic Oppositions in The Bronze Horseman

There has been many reputes on the theme of The Bronze Horseman(1833) which is one of the finest works of A. Pushkin, but the riddle of the discrepancy between the image of Peter the Great in introduction and that of the Bronze Horseman of the main story about a 'little man' named Evgeny who lost his fiancee by flood has not been solved. According to A. Blok, Pushkin was a poet of harmony and he always tried to find middle way in conflicting situation in his time through his writings. As a poet he recognize the importance and the greatness of Peter the Great who built the Petersburg, but he could not reconcile with the surplus-repression of Nicholas who was a descendent of Peter and a personal censor of him. So the ambiguous attitude of Pushkin to Peter results in the dual oppositions in The Bronze Horseman, which has made readers embarrass in finding the real or secret message of this work. This paper argues that the real opposition on the semantic and thematic level in the work lies not in the opposition between Peter and Evgeny, but in the opposition between Peter and the Bronze Horseman implying Nicholas. That was a technique for Pushkin to satisfy the conflicting demands from inside and outside

Rashba spin-orbit coupling, domain wall motion, and spin motive force in ultrathin magnetic nanostructures

1

Period halving in a single-mode Datta-Das spin field effect transistor

1