• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.16 no.4
• /
• pp.43-57
• /
• 2006

When building a software system out of software components, the composition is not simple because of the complexity caused by diverse versions, digital signatures, static type information, and off-the-shelf components from various vendors. Well-established linking policies are one of the best solutions to solve the complexity problem at linking time. Secure Linking (SL) enables users to specify their linking policies which can be enforced at link time. Secure Linking framework is a framework based on a higher-order logic in order to help build a SL system. This paper shows that the Secure Linking logic is expressive enough to describe a real-world component composition system, the linking protocol of.NET. The paper also demonstrates the advantage of the logic-based linking framework by discussing the weakness of the code signing protocol in.NET which was found while we encoded the assembly linking system of.NET.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.407-412
• /
• 2007

본 논문에서는 IEEE 802.16 OFDMA 시스템에서 단말들의 에너지 절약을 위한 효율적인 상향 링크 자원 할당 알고리즘을 제시한다. 기지국은 각각의 단말들이 상향링크로 데이터를 전송할 수 있도록 상향링크 부프레임에 연속적인 형태의 자원을 할당해 줘야 한다. 이렇게 각 단말들의 에너지 소비를 고려하여 효율적으로 자원을 할당하는 방식은 최적화 문제의 형태로 접근할 수 있다. 본 논문에서는 전체 에너지소비가 최소가 되는 자원 할당 문제를 Multiple Choice Knapsack 문제로 정의하고, 이를 효율적으로 풀 수 있는 준최적화 알고리즘을 제시한다. 준최적화 알고리즘은 전체 에너지 소비가 최소가 되는 각 단말들의 최적의 변조로 부호화 기법을 찾는다. 그리고 성능평가를 통해 준최적화 알고리즘이 채널 상태만을 고려하여 변조로 부호화 레벨을 결정하는 기법에 비해 최대 53%의 성능 이득을 보이는 것을 제시한다.

• Communications for Statistical Applications and Methods
• /
• v.16 no.6
• /
• pp.937-943
• /
• 2009

A network with variable link capacities is considered to be in a functioning state if it can transmit a maximum flow which is greater than or equal to a specified amount of flow. The links are independent and either function or fail with known probability. No flow can be transmitted through a failed link. In this paper, we consider the measures of importance of a link in such networks. We define the structural importance and reliability importance, with respect to capacity, of a link when the required amount of flow is given. We also present the performance importance with respect to capacity. Numerical examples are presented as well for illustrative purpose.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.9A
• /
• pp.888-897
• /
• 2007

In this paper, we propose an uplink dynamic resource allocation algorithm to increase sector throughput and fairness among users in 802.16e OFDMA TDD system. In uplink, we address the difference between uplink and downlink channel state information in 802.16e OFDMA TDD system. The simulation results show that not only an increment of 10% of sector throughput but higher level of fairness is achieved by round-robin using the FLR and the rate / margin adaptive inner closed-loop power control algorithm. The FLR algorithm determines the number of sub-channels to be allocated to the user according to the user's position. Also, we get 31.8% more sector throughput compared with the round-robin using FLR by FASA algorithm using uplink channel state information. User selection, sub-channel allocation, power allocation algorithms and simulation methodology are mentioned in Part I.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.7
• /
• pp.738-746
• /
• 2016

As the trend of future war has been changed to network centric warfare, tactical data link should be needed for fast and accurate situation awareness. Nowadays, Korean air force conducts military operations by using aircrafts equipped with Link-16. The Link-16 can conduct multiple mission at the same time because it supports multi-net capability. Due to lack of frequency resource, the way to share the frequency with other systems has been studied and using L band with radar is considered as one of the candidates bands. However, the data link can be affected by the interference from radars when it shares the L-band because the L-band in Korea is already assigned to long-range detection radars. In this paper, we evaluate operational possibilities of tactical data link in the L-band based on Link-16.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.3
• /
• pp.75-87
• /
• 2011

Tactical Data Links are standardized radio communication data links for military armed forces and used to transmit and receive data. Because they are the core elements of achieving information superiority in a NCW environment, various kinds of TDL are used by the Korean armed forces. Operating various types of TDL is very helpful in getting more information; however, at the same time, it is hard to integrate and make them co-operate with other TDLs or C4ISR systems. In this paper, we propose a XML based messaging system to make various types of TDL interoperable in a NCW environment. For the messaging system between TDL and C4ISR systems, we define XML message processing interfaces and suggest binary XML for serialization to save transmission loads over constrained military communication bandwidth. Our experiment results show that the TDL message can be transformed into generalized XML data that is interoperable with other TDLs and binary XML serialization, and it saves parsing and transmission time.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.11-19
• /
• 2008

To enhance the performance of the IEEE 802.16 broadband wireless access system, it is necessary to improve the efficiency of the radio link. The efficiency of the uplink can be improved by using more efficient random access method. As new random access methods, we propose a RA_NBRM method which is based on the number of bandwidth request messages and a RA_CRA method which is based on the conflict resolution algorithm. The simulation results show that the performance of the new methods is superior to that of the existing binary exponential backoff method.

• Journal of Advanced Navigation Technology
• /
• v.20 no.6
• /
• pp.528-538
• /
• 2016

In this paper, an extend kalman filter based relative navigation algorithm is proposed for Link-K based relative navigation. Link-K is a tactical data link system for joint operation capability upgrade of ROK forces. Link-K is inter-operable with Link-16 and transmit and received information of operations and target. In Link-K communication channel, PPLI message including transmitter position and TOA measurement can be used for relative navigation. Therefore Link-K based relative navigation system can be operated. In this paper, software based simulations were carried out for operational feasibility test and performance verification as error factors of proposed Link-K based relative navigation system.

• Journal of Korean Society of Transportation
• /
• v.16 no.2
• /
• pp.197-207
• /
• 1998

지능형교통체계(ITS)환경 하에서 요구되는 정보서비스의 기본적인 형태는 통행속도, 지체정도, 통행시간등으로 대별 되어질 수 있다. 그 중 통행시간의 기본적 요소로서 링크통행시간을 산출하기 위한 제반 기법을 소개하였고, 특히 GPS를 이용한 링크통행시간 산정기법을 본 고에서는 제시하였다. 현재 GPS를 장착한 차량이 고유의 목적 (예를 들면, 위치파악 및 배차등의 목적으로)을 위해서 점차 늘어나고 있는 추세인 만큼 (개인택시조합등) 이러한 자원을 부수적으로 이용할 수 없는지에 대한 활용방안의 여부가 논문을 작성하는 계기가 되었다. 이를 위해서 본 고에서는 구체적으로 GPS 원시테이터, 수치도로지도 (GIS포함) 및 무선데이터망을 이용하여 링크 통행시간을 산출하는 기법이 이를 위해서 본 고에서는 구체적으로 제시되었으며, 이들을 통한 교통정보의 수집 가능성을 제안하였다. 중간 결과로서 실제 가로주행조사를 통해서 얻어진 링크통행시간과 본 연구에서 게시된 GPS를 통해 얻어진 링크통행시간과 비교해 보면 오창의 범위가 10%내외로서 판명되어 그나마 동적교통정보 수집조건이 열악한 우리실정에 큰 자원이 될 수 있다는 확신을 얻을 수 ? 있었다. 한편, 본 연구에서 수행되지 못하였으나 추가연구로서 반드시 수행되었으면 하는 몇가지의 항목이 결론부에 함께 제시되었다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.12B
• /
• pp.1728-1735
• /
• 2011

In this paper, satellite data link waveform is proposed which is based on the waveform of Link-16 but LDPC code is studied instead of CCSK code in order to be optimized to satellite nonlinear channel environment and transmission characteristics. And the DSM (Demux, Selective CH switch, and Mux) transponder structure is suggested which can remove all of the jamming signal out of the transmission signal band and convert uplink hopping frequency to desired ones of downlink. The results of BER and anti-jamming performance analysis shows that the required Eb/No and processing gain in the worst case partial band jammer of the proposed waveform are 2.5dB and 52dB respectively and the anti-jamming capacity improvement of DSM transponder is maximum 2dB.