• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2006년도 International Symposium on GPS/GNSS Vol.2
• /
• pp.77-82
• /
• 2006

Integrity plays a fundamental role in the feasibility of 'liability critical' applications. Road charging, e.g. road tolling in urban zones or on highways, represents a series of liability critical applications where a guarantee in integrity could be a true enabler: being the mechanism that prevents the incorrect charging of users and enabling the advancement of these applications using GNSS such as Galileo and EGNOS that provide integrity mechanisms. However, the integrity of the end user position is not guaranteed by the EGNOS and Galileo integrity services alone as provided. Algorithms have been developed to supply a guarantee on the performance attainable at the user level through the provision of a horizontal protection level that responds to local user conditions such as multipath or interference. In addition, an application has been developed that implements road charging mechanisms based on the availability of user-level integrity. Results obtained show that the user-level integrity algorithms provided the required level of integrity guarantee and granularity of the horizontal protection levels necessary for executing urban and rural (highway) road charging. In addition, the road charging application developed shows that the current application domain requirements can be met through the provision of guaranteed integrity and that further reductions in the horizontal protection levels along with increased signal availability will enable future road charging modalities.

• Journal of Positioning, Navigation, and Timing
• /
• 제12권3호
• /
• pp.281-288
• /
• 2023

The International Maritime Organization (IMO) states that the recommended horizontal accuracy for coastal and offshore areas is 10 m, the Alert Limit (AL) is 25 m, the time to alert is 10 seconds, and the integrity risk (IR) is 10^-5 per three hours. For operations requiring high accuracy, such as tugs and pushers, icebreakers, and automated docking, the IMO dictates that a high level of positioning accuracy of less than one meter and a protection level of 0.25 meters (for automated docking) to 2.5 meters should be achieved. In this paper, we analyze a method of calculating the user-side protection level of the centimeter-level precision Global Navigation Satellite System (GNSS) that is being studied to provide augmentation information for the precision Positioning, Navigation and Timing (PNT) service. In addition, we analyze standardized integrity forms based on RTCM SC-134 to propose an integrity information form and generate a centimeter-level precise PNT service plan.

• 헤리티지:역사와 과학
• /
• 제46권3호
• /
• pp.32-47
• /
• 2013

공공의 유산인 명승을 보존하고 활용함에 있어서 중요한 기준은 진정성(Authenticity)과 완결성(Integrity)이라는 개념이다. 명승에 대한 진정성이란 명승의 물리적 원형 보존뿐만 아니라 그것이 향유되는 역사적 전통의 계승도 포함하는 상태를 가리키며, 명승의 완결성이란 명승이 가진 진정성을 충분히 보호할 수 있는 물리적 사회적 여건을 갖춘 상태를 지칭한다. 본 연구에서는 영남지방의 역사문화명승을 그것의 활용 상태에 따라 주민 자치형, 관광지 선개발형, 산지형으로 나누고 각 유형별로 하나씩 사례 명승을 선정하였다. 그리고 이들의 전통적 향유 방식을 재현하고 이에 기초하여 현재 설정되어 있는 문화재 보호구역을 비판적으로 검토해 보았다. 먼저, 주민 자치형의 사례인 명승 제81호 포항 용계정과 덕동숲은 현재 용계정 주변까지만 설정되어 있는 문화재 지정구역을 넓혀 덕연구곡과 송계숲을 모두 포함하도록 수정될 필요가 있다. 둘째, 관광지 선개발형의 사례인 명승 제53호 거창 수승대는 요수정과 함양재, 관수루 등 수승대를 조망하던 시점을 재현할 수 있도록 범위가 확장될 필요가 있으며 수승대에서 바라보는 전면의 조망을 고려하여 그 범위를 설정할 필요가 있다. 마지막으로, 산지형의 사례인 명승 제23호 봉화 청량산은 과거 사대부들이 청량산을 유람하던 길을 재현할 수 있고, 12봉우리가 물리적으로 모두 포함되도록 그 지정구역을 조정할 필요가 있다. 이와 같이 현재 지정되어 있는 역사문화명승의 문화재 지정구역 범위는 그것의 진정성과 완결성을 제대로 구현하기에는 미흡하다고 볼 수 있다. 문화재 보호구역이 명승의 본래적 가치를 지킬 수 있는 최소한의 제도적 장치라는 사실을 감안한다면 적어도 그것의 범위 설정에 앞서 명승의 진정성과 완결성을 확보하는 방안을 좀 더 신중하게 고려할 필요가 있다.

• 한국항행학회논문지
• /
• 제15권4호
• /
• pp.510-516
• /
• 2011

위성항법시스템(GNSS)을 민간항공 분야에 활용하기 위해서는 국제민간항공기구(ICAO)가 정한 비행단계별 정확성(Accuracy), 무결성(integrity), 연속성(continuity), 가용성(availability) 성능요구조건을 만족시켜야 한다. 사용자의 무결성을 확보하기 위해서는 사용자의 보호 수준을 크게 잡아야 하고 가용성을 향상시키기 위해서는 보호수준이 작을수록 좋다. 따라서 주어진 항행요구조건을 만족하기 위해서는 사용자의 무결성을 확보하면서 보호수준을 최대한 작게 잡아야 한다. 본 논문에서는 한국형 광역보정시스템 테스트베드 중앙처리국 모듈의 현재까지 진행 상황에 대해서 설명하고 현재 사용되고 있는 무결성 관련 알고리듬을 적용하였을 때 사용자의 무결성 및 가용성 성능에 대한 예측을 수행하였다. 또한 항법위성의 궤도 및 시계오차에 대한 공분산 행렬을 사용자 무결성 감시에 적용하였을 때의 가용성 향상 정도를 시뮬레이션을 통해 예측하도록 한다.

• 정보보호학회논문지
• /
• 제22권5호
• /
• pp.1159-1168
• /
• 2012

기존의 Control Flow Integrity(CFI)와 Control Flow Locking(CFL) 기법은 프로그램이 개발자의 의도대로만 실행되도록 강제하여 실행 흐름의 무결성을 제공하고 안전한 프로그램 실행을 보장한다. 하지만, 함수 호출 문맥을 인지하는 보호 기법을 제공하지 않아 정밀도가 떨어지고 이를 악용한 공격을 허용하는 취약점을 가지고 있다. 본 논문에서는 이러한 문제점들을 해결하는 Source-code CFI(SCFI) 시스템을 제안한다. 제안한 시스템에서는 정밀도 높은 CFI 기능을 제공하여 프로그램의 안전성을 높인다.

• Journal of Positioning, Navigation, and Timing
• /
• 제10권4호
• /
• pp.263-269
• /
• 2021

The carrier-based differential global navigation satellite system (CD-GNSS) has been garnering significant attention as a promising technology for unmanned vehicles for its high accuracy. The CD-GNSS systems to be used for safety-critical applications should provide a certain level of integrity. The integrity of these systems must be analyzed under various conditions, including fault-free and satellite fault conditions. The systems should be able to detect the faults that can cause large biases on the user position errors and quantify the integrity risk by computing the protection level (PL) to protect the user against the faults that are left undetected. Prior work has derived and investigated the PL for the fault-free condition. In this study, the integrity of the CD-GNSS system under the fault condition is analyzed. The position errors caused by the satellite's fault are compared with the fault-free PL (PL_H0) to verify whether the integrity requirement can be met without computing the PLs for the fault conditions. The simulations are conducted by assuming the ephemeris fault, and the position errors are evaluated by changing the size of the ephemeris faults that missed detection. It was confirmed that the existing fault monitors do not guarantee that the position error under the fault condition does not exceed the PL_H0. Further, the impact of the faults on the position errors is discussed.

• Journal of Positioning, Navigation, and Timing
• /
• 제11권4호
• /
• pp.317-325
• /
• 2022

In this paper, we developed a single frequency-based RRAIM to monitor integrity of the UAM landing vertically in urban area with only low-cost single-frequency GPS receiver. Conventional dual-frequency RRAIM eliminates ionospheric delay through a combination of frequencies. In this study, ionospheric delay was directly modeled. Drift error of residual ionospheric delay is modeled using the previously studied result on ionospheric rates of change. To verify the performance of the proposed RRAIM algorithm, a simulation of vertical landing UAM in urban area was conducted. It was assumed that the protection level at the initial position was calculated through SBAS correction data. During vertical landing, integrity monitored by receiver alone without external correction data. In the 60 sec simulation, the protection level of the proposed RRAIM compared to the conventional RRAIM was calculated to be 140% due to the accumulated ionospheric delay error. Nevertheless, it was confirmed that the final vertical protection level meeting the requirements of LPV-200, which cannot be achieved with single frequency GPS receiver alone.

• 한국항공우주학회지
• /
• 제37권4호
• /
• pp.372-382
• /
• 2009

자체 개발한 SBAS 보정정보 처리 프로그램을 이용하여 MSAS 궤도 보정정보의 정확도를 분석하고, MSAS 전리층 보정정보 대한 적도변이의 영향을 분석하였다. 또한 MSAS 보정정보의 일부분의 제거를 통해 보정정보의 수신지연으로 인한 정확도 저하와 그것이 Protection Level에 미치는 영향을 분석하였다. 그리고 국내에서 MSAS 보정정보를 이용하여 항공기 정밀접근 시 시스템의 무결성 및 가용성에 대해 분석했다.

• Journal of Information Processing Systems
• /
• 제12권3호
• /
• pp.538-547
• /
• 2016

Cloud computing is a new style of computing in which dynamically scalable and reconfigurable resources are provided as a service over the internet. The MapReduce framework is currently the most dominant programming model in cloud computing. It is necessary to protect the integrity of MapReduce data processing services. Malicious workers, who can be divided into collusive workers and non-collusive workers, try to generate bad results in order to attack the cloud computing. So, figuring out how to efficiently detect the malicious workers has been very important, as existing solutions are not effective enough in defeating malicious behavior. In this paper, we propose a security protection framework to detect the malicious workers and ensure computation integrity in the map phase of MapReduce. Our simulation results show that our proposed security protection framework can efficiently detect both collusive and non-collusive workers and guarantee high computation accuracy.