• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권6호
• /
• pp.3299-3315
• /
• 2019

Deniable authentication (DA) is a protocol in which a receiver can generate an authenticator that is probabilistically indistinguishable from a sender. DA can be applied in many scenarios that require user privacy protection. To enhance the security of DA, in this paper, we construct a new deniable authenticated encryption (DAE) scheme that realizes deniable authentication and confidentiality in a logical single step. Compared with existing approaches, our approach provides proof of security and is efficient in terms of performance analysis. Our scheme is in an identity-based environment; thus, it avoids the public key certificate-based public key infrastructure (PKI). Moreover, we provide an example that shows that our protocol is applicable for e-voting systems.

• 한국태양에너지학회 논문집
• /
• 제38권4호
• /
• pp.11-31
• /
• 2018

Nowadays, domestic photovoltaic system market has been expanded and the governmental dissemination policy has been continued. There is only PV system output performance analysis which is called Performance Ratio(PR) analysis. However, there exists many parameters that can affect PV system output. This papers shows the PV system energy performance analysis using meteorological monitoring data. The meteorological monitoring system was installed in the H university and we analyzed the PV system which installed in the H university. We also investigated other three PV systems which located less than 3 kilometers from H university. We evaluated total 4 PV systems through the field survey data, design drawing data and power generation data. Finally, we compared the actual measuring data with the simulation data using PVSYST software.

• 대한임베디드공학회논문지
• /
• 제15권4호
• /
• pp.177-187
• /
• 2020

Virtualization with hypervisors is one of emerging topics in multicore processors for space. Hypervisors are software layers to make several independent virtualized environments on one processor. Since all hardware resources are virtualized and distributed only by hypervisors, overall performance of processors can be improved by fully utilizing the resources. However at the same time, there are overheads for virtualizing and distributing hardware resources. Satellites are one of hard real time systems, and performance degradation with overheads should be analyzed thoroughly. Previous research on the overheads focused on single core systems. Even the overheads were analyzed in multicore systems, SMP environment was not fully included. This paper builds SMP environment with XtratuM, one of hypervisors for space missions, and analyzes performance degradation with overheads. Two boards of GR712RC with 2 LEON3FT CPUs and GR740 with 4 LEON4 CPUs are used in experiments. On each board, SMP benchmark functions are executed on SMP environment with XtratuM and on that without XtratuM respectively. Results are analyzed to find timing characteristics including overheads. Finally, applicability of the XtratuM to flight software in SMP is also reviewed.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2023년도 봄 학술논문 발표대회
• /
• pp.221-222
• /
• 2023

The purpose of this study is to analyze the applicability and limitations of SPOT robots in the construction industry. The SPOT robot, which is being introduced to construction sites for smart construction with the progress of the 4th industrial revolution, is shaped like a four-legged dog and is equipped with various sensors for data collection and autonomous driving. In this study, hardware and software were analyzed, such as the size of the SPOT robot, mobility on slopes and heights, operating environment, and software functions that can collect data with a sensor weighing up to 14 kg. In addition, while the SPOT robot operates in a construction environment, performance such as stability, accuracy, signal connection distance, and obstacle avoidance are evaluated, and the applicability and limitations of the SPOT robot in the construction industry are analyzed. Based on this analysis, the purpose of this study is to evaluate when and how SPOT robots can be effectively used at construction sites, identify limitations, and derive contributions and improvements for the construction industry.

• 한국소프트웨어감정평가학회 논문지
• /
• 제17권2호
• /
• pp.125-142
• /
• 2021

Reports of rampant cross-site scripting (XSS) vulnerabilities raise growing concerns on the effectiveness of current Static Analysis Security Testing (SAST) tools as an internet security device. Attentive to these concerns, this study aims to examine seven open-source SAST tools in order to account for their capabilities in detecting XSS vulnerabilities in PHP applications and to determine their performance in terms of effectiveness and analysis runtime. The representative tools - categorized as either text-based or graph-based analysis tools - were all test-run using real-world PHP applications with known XSS vulnerabilities. The collected vulnerability detection reports of each tool were analyzed with the aid of PhpStorm's data flow analyzer. It is observed that the detection rates of the tools calculated from the total vulnerabilities in the applications can be as high as 0.968 and as low as 0.006. Furthermore, the tools took an average of less than a minute to complete an analysis. Notably, their runtime is independent of their analysis type.

• 정보처리학회논문지C
• /
• 제13C권4호
• /
• pp.501-510
• /
• 2006

소프트웨어 스트리밍은 프로그램 설치 및 실행을 위하여 서버로부터 프로그램 전송이 진행중인 동안에도 컴퓨터 상에서 미설치 소프트웨어의 실행이 즉각적으로 이루어지도록 하는 기능이다. 본 논문에서는 네트워크를 통하여 컴포넌트들의 자동 설치 기능들을 제공하며 프로그램 및 데이터 파일을 스트리밍하고 실행해주는 Software On-Demand(SOD)스트리밍 시스템을 제안한다. 제안된 시스템의 효용성을 입증하기 위하여 리녹스 상에서 즉각적인 소프트웨어 실행 환경과 함께 사용자가 소프트웨어 다운로드와 인스톨 작업에서 완전하게 벗어날 수 있도록 하는 SOD 시스템을 설계 및 구현하였다. 구현된 SOD 시스템은 복잡하고 실패하기 쉬운 설치 작업으로부터 사용자의 수고를 경감시키며 사용자가 UI 윈도우 또는 웹 브라우저를 통하여 look-and-click 의 대화식 조작에 의해 여러 제품들을 쉽게 사용할 수 있도록 해주기 때문에 소프트웨어 개발자는 SOD 시스템에 기반한 가상 실행환경을 통하여 소프트웨어 제품을 광고하고, 전파할 새롭고 강력한 수단을 지원받게 된다. 또한 본 논문에서는 리녹스 상에서 두 가지 SOD 스트리밍 실험 환경을 구축한 후 성능평가 실험 결과에 대한 분석을 통해 향후에 SOD 시스템에 적용할수 있는 두 가지의 성능 개선 방법 AIA(Application Initation Accelerator), SPP(Statistical Predictor Prefetching)를 제안한다.

• 한국유체기계학회 논문집
• /
• 제18권4호
• /
• pp.22-29
• /
• 2015

In this study, an in-house program to predict steady state operation of micro gas turbines is constructed using MATLAB. The program consists of two parts: design and off-design simulations. The program is fully modular in its structure, and performance of each component (compressor, combustor, turbine, recuperative heat exchanger and pipe elements) is calculated in a separate calculation module using mass and energy balances as well as models for off-design characteristics. The off-design modules of compressor and turbine use performance maps, which are program inputs. The off-design operation of a micro gas turbine under development was predicted by the program. The prediction results were compared with those by commercial software, and the validity of the in-house program was confirmed.

• 한국컴퓨터정보학회논문지
• /
• 제13권7호
• /
• pp.19-27
• /
• 2008

컴퓨팅 자원 사용에 제약이 많은 임베디드 소프트웨어 개발에 있어서 성능 분석 도구는 품질 개선을 위해 매우 중요한 역할을 한다. 그러나 기존 임베디드 소프트웨어 성능 분석 도구들은 단일 개발자의 교차개발 지원을 위한 성능분석 환경만을 제공하기 때문에 임베디드 소프트웨어를 위한 협업 성능분석 도구로서 활용될 수 없다. 본 논문에서는 협업 환경에서 임베디드 소프트웨어 성능 분석을 효과적으로 수행하기 위한 서버 기반의 새로운 성능 분석도구를 제안한다. 제안하는 성능분석 도구는 개발 소프트웨어에 대해 실행한 성능 분석로그를 협업 개발자들 기호에 맞는 다양한 그래픽 뷰로 생성하여 개발자간의 신속하고 효율적인 정보 공유를 가능하게 함으로써 프로그램의 성능 향상을 위한 개발자의 성능 분석 환경을 크게 개선할 수 있다.

• 정보과학회지
• /
• 제27권5호
• /
• pp.58-68
• /
• 2009

• 정보과학회지
• /
• 제25권2호
• /
• pp.8-18
• /
• 2007