Earticle

대한민국 정부는 ‘민간 클라우드 도입 활성화 정책’ 및 ‘디지털 플랫폼 정부’ 구현을 위해 국가․공공기관 정보시스템의 클 라우드 네이티브 전환을 추진하고 있다. 또한 국가정보원은 국가망 보안체계(N2SF)를 개선하여 국가․공공기관에서 클라우드 오피스 등 신기술의 공공분야 적용을 시키려고 노력하고 있다. 그러나 클라우드 서비스를 활용하는 국가․공공기관 정보서비 스의 클라우드 보안관제 및 침해사고 대응 분야는 아직 초기 수준이다. 부문 보안관제센터에서 클라우드 환경에 따라 보안관 제 탐지장비를 설치 및 사이버공격을 탐지하고, 탐지된 결과를 전송하는 부분, 즉 보안관제 연동에 많은 시행착오를 겪고 있 고, 연동체계 및 이에 대한 규격도 없는 실정이다. 본 논문에서는 부문 보안관제센터에서의 클라우드 환경에서의 보안관제를 위한 연동체계 설계하고, 설계된 모델을 국내 클라우드 서비스 제공자(CSP) 대상으로 가상환경에서 실험하여 한계점들을 도 출하여 효과적인 클라우드 환경의 보안관제 연동체계를 제시하는데 본 연구의 의의가 있다.

The Korean government is promoting the cloud-native transformation of the information system of national and public institutions to implement a 'policy to promote the introduction of private clouds' and a 'digital platform government'. In addition, the National Intelligence Service is trying to improve the national network separation system to apply new technologies to public sectors such as cloud offices in national and public institutions. However, the field of cloud security control and infringement of national and public institution information services using cloud services is still at an early stage. Depending on the cloud environment, the sector security control center is experiencing a lot of trial and error in installing security control detection equipment, detecting cyberattacks, and transmitting detected results. This study is meaningful in designing an interworking system for security control in a cloud environment in a sector security control center and experimenting with the designed model in a virtual environment for domestic cloud service providers (CSPs) to derive limitations.

오늘날 기업들은 경쟁력을 향상시키고 사회의 기대에 부응하기 위해 환경, 사회, 지배구조(ESG)에 관 한 관심이 높아지고 있다. ESG는 기업의 비재무적 성과를 판단하는 기준으로 개별 기업의 사회적 책임 정도를 측정하기 위하여 개발되었다. 따라서 ESG 경영이란 조직이 이해관계자와 상생 관계를 형성함으 로써 지속가능성을 추구하는 경영활동이라고 할 수 있다. 이해관계자들은 기업이 필요로 하는 자원의 흐 름을 조절하는 힘을 가지고 있기 때문에 현실에서 기업들은 이해관계자와 의존적인 혹은 종속적인 관계 를 가지고 있다. 또한 기업들은 윤리와 비즈니스는 통합되어야 중장기적인 관점에서 가치를 창출한다는 점에서 점점 더 이해관계자 중심의 경영을 받아들이고 있다. CSR은 이해관계자의 관심과 요구를 인식하 고 현재의 지속가능성과 미래 세대를 위한 환경을 보존하는 동안 기업이 경제적, 사회적, 환경적 조건에 서 조화로운 운영하도록 하는 기업경영의 수행 방식으로 인식되고 있다. 본 연구에서는 이해관계자 이론 과 CSR에 관련된 주요 문헌들을 검토하여 이론적 개념을 분석하고 CSR 이론에서 이해관계자들의 요구 에 접근하는 방식에 대하여 살펴보았다. 이해관계자와 CSR에 관련된 문헌들을 검토한 연구결과, CSR 이 론에서 이해관계자의 접근은 적극적 또는 수동적으로 접근하는 이해관계자, 이해관계자의 속성을 통한 접 근, 이해관계자의 압력에 따른 접근, 이해관계자와의 의사소통을 통한 접근, CSR의 4단계 모델을 통한 접근 등이 있는 것으로 제시하였다.

Companies today are increasingly interested in the environment, society, and governance(ESG) to improve their competitiveness and meet society's expectations. ESG was developed to measure the degree of social responsibility of individual companies as a criterion for judging a company's non-financial performance. Therefore, ESG management can be said to be a management activity in which an organization pursues sustainability by forming a win-win relationship with stakeholders. In reality, companies have a dependent relationship with stakeholders because stakeholders have the power to control the flow of resources that companies need. In addition, companies are increasingly accepting stakeholder-oriented management in that ethics and business must be integrated to create value from a mid- to long-term perspective. CSR is recognized as a way of performing corporate management that recognizes stakeholder interests and needs and ensures that companies operate in harmony under economic, social and environmental conditions while preserving current sustainability and the environment for future generations. In this study, major literature related to stakeholder theory and CSR was reviewed to analyze theoretical concepts and to approach stakeholder needs in CSR theory. As a result of reviewing the literature related to stakeholders and CSR, it was suggested that stakeholders' approaches in CSR theory include active or passive access, access through stakeholder attributes, access under stakeholder pressure, communication with stakeholders, and access through a four-step model of CSR.

클라우드 컴퓨팅 기술의 발전에 따라 클라우드 서비스에 대한 요구와 함께 보안 위협에 대한 우려도 함 께 증가하고 있다. 이에 따라, 한국은 클라우드 서비스에 대한 보안 우려를 해소하기 위해서 클라우드 보안인증제 도(CSAP)를 운영해 오고 있다. 그러나, 국내 클라우드 서비스 인증제도의 경우에는 해외 클라우드 서비스 인증제 도와 비교해 볼 때, SaaS(Software as a Service)와 같은 소프트웨어 기반 클라우드 서비스의 특징을 고려한 보 안 통제항목은 부족한 상황이다. 2020년에 유럽은 EUCS 클라우드 서비스 보안 인증제도를 신설하기 위해 필요한 보안요구사항 초안을 공개하였다. 본 연구에서는 SaaS 보안 관점에서 클라우드 서비스 보안 인증에 필요한 통제 분야를 도출하기 위해 클라우드 아키텍처 및 클라우드 서비스 사용 시나리오에 대한 조사를 수행한다. 또한, 유럽 의 EUCS 클라우드 서비스 인증제도와 국내 CSAP 클라우드 서비스 인증제도에 대한 비교 연구를 수행하고 SaaS에 대한 보안평가 모델을 제안하고자 한다.

With the development of cloud computing technologies, the demand for cloud services and concerns about security threats have been increased. Accordingly, Republic of Korea has been operating the cloud security certification system named as CSAP to resolve security concerns about cloud services. However, in the case of the domestic cloud service certification system, compared to those of the overseas, items of security domain controls considering the characteristics of software-based control services such as SaaS(Software as a Service) are insufficient. In 2020, Europe published a draft document including security requirements necessary to create the cloud security certification system named as EUCS. In this paper, from SaaS security perspective, cloud architecture and usage scenarios of cloud service are investigated in order to derive security control families necessary for cloud service security certification. In addition, we conduct a comparative study between CSAP and EUCS, and propose a security evaluation model for SaaS.

본 연구의 목적은 기업의 사회적 성과가 기업 가치에 주는 정(+)의 영향을 확인하고, 이 관계에서 경영환경의 조절효과에 대해 탐구하는 것이다. 이를 위해 본 연구에서는 자원기반관점과 이해관계자관점에 기반하여 세 가지 차원의 경영환경 - 국가(제도환경), 산업(산업특성), 그리고 기업(국제시장 노출도) - 이 기업의 사회적 성과와 기업 가치 간의 관계에 어떤 영향을 줄 수 있는 지를 살펴보았다. 전세계 1,100여 개 기업 데이터를 분석한 결과, 본 연구에서는 기업의 사회적 성과가 기업 가치에 끼치는 긍정적인 효과를 확인하였다. 또한, 해당 관계에서 기업이 환경오염산 업에 속해 있는지 여부와 국제시장 노출도가 가지는 정(+)의 조절효과를 실증분석을 통해 밝혀내었다. 높은 제도환경의 긍정적인 조절효과에 대한 가설은 지지되지 않았지만, 통계분석 결과 부 (-)의 유의미한 조절효과가 나타났다. 본 연구는 기업의 사회적 책임이 갖는 전략적 효용성뿐 아니라, 그것이 기업이 처한 내외부적 환경과의 상호작용을 통해 더 나은 결과를 가져올 수 있음을 시사한다. 또한, 제도환경 변수를 구성할 때 포트폴리오 기법을 사용함으로써 다국적기업에 대한 연구에 있어서 국가 수준 변수의 영향을 측정할 때 보다 다양한 요소들을 고려해야 할 필요성을 제시한다.

Corporate social performance (CSP) has become a popular subject of discussion in the business literature. However, previous studies have mainly focused on the relationship between CSP and corporate financial performance (CFP), shedding limited light on contingent factors in business environment that may shape the impact of CSP. The purpose of this study is to investigate the influence of CSP on firm value along with moderating roles of business environment. Building upon the resource-based view (RBV) and stakeholder perspective, this paper examines how the three layers of business environment - country (institutional environment), industry (industry characteristic) and firm (international market exposure) affect the relationship between CSP and firm value. Drawing on the data of roughly 1,100 firms from around the world we confirm the positive influence of CSP on firm value, along with the positive moderating effects of industry characteristic and international market exposure. The empirical results of this paper provide evidence that firms operating in a ‘dirty’ industry, or more exposed to international markets may enjoy higher returns from their CSP. This study may contribute to the literature by providing empirical evidence to support the arguments of existing studies that regard CSP as a source of sustainable competitive advantage. Furthermore, the results of this study reveal that CSP leads to better outcomes when it interacts with the contingent factors in the business environment. By using the portfolio method to construct the institutional environment variable, we also highlight the importance of considering several aspects when examining country-level effects on MNEs.

본 연구는 2011년부터 2016년 까지 한국 거래소 유가증권시장에 상장되어 있는 기업들을 대상으로 기업의 사회적책임활동의 성과가 기업가 치에 미치는 영향을 분석하고, 세부적으로 기업의 사회적 책임활동에 영향을 미치는 요인을 실증 분석하였다. 사회적책임활동은 기업이 사회의 일원으로 사회에 공헌하고 이해관계자 집단의 기대에 부응하기 위하여 그 필요성이 높아지고 있는 추세이다. 본 연구는 사회적 책임활동으로 기 업지배구조성과, 사회적성과, 환경적성과 및 통합성과를 이용하여 분석하였다. 분석결과 첫째, 사회적책임활동의 성과는 재무성과 지표인 자산 순이익률(ROA)과 시장조정수익률을 이용하여 분석하였으며, 분석결과 부정적인 관계를 보였다. 자산순이익률(ROA)에 미치는 영향력은 통계 적으로 유의하지 않았지만, 기업들의 사회적책임활동성과를 기준으로 상위그룹과 하위그룹으로 분류한 후 분석한 결과 하위그룹이 상위그룹보 다 더 부정적으로 영향을 미치는 것으로 나타났다. 또한 상위그룹의 자산순이익률(ROA)가 하위그룹과 비교하여 통계적으로 더 높은 수치를 보 였다. 둘째, 사회적책임활동의 성과가 높은 기업들은 자산순수익률(ROA), 기업규모가 높고, 성장률이 낮은 기업들인 것으로 나타났다. 이 결과 는 우리나라 기업들의 사회적책임활동은 여유자원가설(slack resource theory)을 일부 지지하고 있으며, 자금 여력이 있는 기업들이 사회적책임 활동을 적극적으로 수행하는 것으로 보인다. 마지막으로 우리나라 기업들의 사회적 책임활동성과가 대부분 낮은 등급을 받았기 때문에 사회적 책임활동의 결정요인 분석 시 평균적인 회귀분석결과와 등급별로 분류하여 분석한 결과가 상반되었다. 상위등급에 속한 기업들은 일부 해외 기업들과 비슷한 행태를 가지는 것으로 나타났다. 우리나라 기업들이 변화하는 글로벌 시장의 새로운 규범에 맞추어 생산활동을 지속하기 위해서 사회적 책임활동에 투자가 필요하다.

This study empirically analysed relationship between CSP(corporate social responsibilities performances) and financial performances of publically traded companies in KRX(Korea Exchange Market). The empirical analysis period was from 2011 to 2016. This study examined the determinants of Corporate Social Performance(CSP). The significance of CSP is ever emphasized with increasing interests to implement in the firm operations by the fact that firms need to contribute to the society being as a part of it and to meet the demands and expectation of its stakeholder in the society. CSP is measured in three sections, corporate governance, social and environmental performances. Three performances are summed up and evaluated to ESG. The results of the analysis are first, CSP was negatively related to both corporate performance measures such as ROA and market – adjusted return. ESG did not show statistical significance with ROA however, when classified into higher and lower group, companies classified to high ESG had higher performance measures compared to those of lower ESG group. Second, high CSP companies had financial features of higher ROA, larger the size and lower growth. This supports the idea of slack-resource theory that firms with extra financial capacity have resources to spare on the CSR. Lastly, the outcome of marginal analysis implies, as the poor CSP firms showed opposite results compared to high rated firms, that determinants of CSRmay change in the future ifmore companies are interested in CSR and if they find CSR as a critical strategic implementation. Considering recent trend of business environment related to CSR activities and institutionalization of CSR by many internationally qualified institutions, Korean firms need to seek structural improvement and build business strategy in terms of CSR.

Windows 운영체제는 응용프로그램이 쉽고 편리하게 다양한 암호화 알고리즘을 사용할 수 있도록 CSPs(Cryptographic Service Providers)를 제공하고 있으며, 이 응용프로그램은 CryptoAPI (Cryptographic Application Program Interface)를 통하여 선택적으로 다양한 CSP 모듈을 이용할 수 있다. 이 때 CryptoAPI와 CSP 모듈 사이에서 함수로 전달되는 파라미터의 분석을 방지하기 위해 핸들을 이용한 안전한 데이터 접근 방식을 사용하고 있다. 본 논문에서는 새롭게 제시한 메모리 역추적 기법을 통해 위와 같은 보안기법에서도 개인키/비밀키와 같은 중요한 데이터가 노출되는 취약점이 존재한다는 것을 실험을 통해 증명하였다

In Windows operating system, CSPs(Cryptographic Service Providers) are provided for offering a easy and convenient way of using an cryptographic algorithms to applications. The applica-tions selectively communicate with various CSPs through a set of functions known as the Crypto API(Cryptographic Application Program Interface). During this process, a secure method, accessing data using a handle, is used in order to prevent analysis of the passing parameters to function CryptoAPI and CSPs. In this paper, our experiment which is using a novel memory traceback method proves that still there is a vulnerability of private key and secret key disclosure in spite of the secure method above-mentioned.

This paper introduces three continuous sampling plans by attribute. Revised KS standards for acceptance samplings such as KSA ISO 2859-3, 4 : 2001 and 21247 : 2007 are presented. These plans are based on skip-lot, DQL(Declared Quality Level) and VL (Verification Level).

클라우드는 이미 기업의 디지털 인프라, 경쟁력 등 IT의 중심이 되었다. 클라우드 생태계는 공급자 (CSP : Cloud Service Provider), 중개자(MSP: Managed Service Provider), 수요자(고객)를 주요 축으로 이루어져 있고, MSP는 클라우드 확산과 안정화, 기술 내재화 등을 주요하게 지원하고 있다. 한편, 생태계 내 각 집단별로 MSP의 역할에 대한 평가와 인식이 상이하다고 보고되고 있다. 또한, 생성형 인공지능(Generative AI)의 확산으로 MSP의 역할도 새로운 관점에서 재정립할 필요성이 대두되고 있다. 따라서 본 연구는 MSP에 대한 인식을 집단별로 분석함으로써 MSP의 역할과 발전방향을 제시하고자 한다. 본 연구는 Stakeholder Theory 관점에서 CSPㆍMSPㆍ고객 세 집단(N=84)을 대상으로 MSP 가 제공하는 서비스들에 대한 인식의 공통점과 차이를 비교하였다. 주요 결과로, 세 집단 모두 아키텍처 설계․마이그레이션, 비용 최적화, 보안/컴플라이언스 등 위생요인에 대해 공통적으로 높은 기대치를 보였다. 반면, BigData 처리/분석 지원 등 차별화요인에 대해서는 중요도 인식이 수렴하지 않았다. 정성 응답 분석에서는 생성형 AI(GenAI)와 시스템 통합(SI) 역량 강화가 MSP의 전략적 발전 방향으로 제시됨을 확인했다. 본 연구는 위생요인과 차별화 요인을 함께 분석하여 국내 맥락에서 이해관계자별 인식 차이를 실증했고, MSP 서비스 전략과 발전 방향을 체계화했다는 점에서 의의가 있다. 실무적으로는 MSP가 표준화된 핵심 서비스 품질을 유지하는 동시에 GenAIㆍSI 연계 역량을 강화해 차별화된 경쟁우위를 확보해야 함을 시사한다.

Cloud has become the core of corporate IT, supporting digital infrastructure and competitiveness. The cloud ecosystem consists of providers (CSPs), intermediaries (MSPs), and customers, with MSPs playing a key role in cloud adoption, stabilization, and capability building. Yet, perceptions of MSPs’ roles differ across stakeholder groups, and the rise of Generative AI further necessitates a renewed understanding of MSPs’ strategic position. This study examines these perception gaps to identify the strategic role and development directions of MSPs. Using a Stakeholder Theory lens, we compare perceptions of MSP services among CSPs, MSPs, and customers (N = 84). All three groups show high expectations for hygiene factors such as architecture design/migration, cost optimization, and security/compliance, while diverging in their views on differentiating services like big data analytics support. Qualitative responses highlight the importance of strengthening Generative AI (GenAI) and system integration (SI) capabilities as future strategic directions for MSPs. This study empirically reveals stakeholder-specific perception differences within the domestic cloud ecosystem and organizes a strategic framework for MSP service development. Practically, MSPs should maintain strong performance in standardized core services while enhancing GenAI and SI capabilities to achieve differentiated competitive advantage.

CSP(Concurrent Spare Parts) is supplied with the procurement of new equipment or weapon system and is used to sustain the equipment without resupply during the initial coverage period. This study is concerned with a problem of determining the near optimal inventory level of the spare parts, especially Concurrent Spare Parts. For this, we utilize the mixed periodic and continuous review polices considering the CSP and (r,Q) Policies concurrently in a two-echelon distribution system. We propose the mathematical model to minimize the total cost which is composed with ordering cost, purchasing cost, holding cost, and stickout cost. If the mixed policy is compared to other policies(CSP, (r,Q)), the proposed methodology performs well and is best policy in the equipment maintenance expenses.

Simulated moving bed (SMB) chromatography was used in the petrochemical industry in the 1960s and its use has been widened to separate chiral compounds in the 1990s. Chiral stationary phase (CSP) is the key component in SMB for the separation of the chiral compounds. CSP has been developed for the analytical use in HPLC, however, its development successfully adapted for the preparative use in SMB chromatography. This review covers the present state-art technology of CSP for SMB chromatography in terms of selectivity, stability, and capacity.

Cloud computing is a technology in which the Cloud Service Providers (CSP) provide many virtual servers to the users to store their information in the cloud. The faults occurring on the assignment and dismission of the virtual machines, the processing cost in the allocation of resources must also be considered. The parallel processing of the information on the virtual machines must be done effectively and in an efficient manner. A variety of systems were developed to facilitate Many Task Computing (MTC). These systems aim to hide the issues of parallelism and fault tolerant and they are used in many applications. In this paper, we introduced Nephele, a data processing framework to exploit dynamic resource provisioning offered by IaaS clouds. The performance evaluation of the virtual machines has been evaluated and the allocation and de-allocation of job tasks to the specific virtual machines has also been considered. A performance comparison with the well known data processing framework hadoop has been done. Thus this paper tells about the effective and efficient manner of processing the data by parallel processing and allocating the correct resources for the desired task. It also helps to reduce the cost of resource utilization by exploiting the dynamic resource utilization.

본 연구에서는 L. crispatus KLB46을 저온 전처리함으로서 제제화 과정에 받게 되는 얼림과 녹임, 건조 스트레스뿐만 아니라, 여러 다른 환경 스트레스에 대한 내성이 증진된다는 것을 확인하였다. 그리고 내성 증진에 신규 단백질 합성이 필요함을 확인하였으며 나아가, 저온 충격 유전자(csp)를 확인하였다. 따 라서 이 균주를 제제화 하기 위한 방법으로 저온 전처리를 이용할 경우 생균력 유지에 큰 효과를 얻을 수 있다고 사료된다.

Lactobacilli have been considered to play important roles in the health of human vagina. They secrete inhibitory substances to prevent vaginal infection by pathogenic organisms. In a previous study, we have isolated several lactobacilli from Korean woman and one of them (KLB46) was selected and indentified as Lactobacillus crispatus which showed high antimicrobial activity. In this study, cold adaptation prior to subsequent stresses exposure was examined whether L. crispatus KLB46 maintain the viability better than the non-adapted cells under stresses. For pharmaceutical formulation, the lyophilization process is required where stresses such as freezing/thawing and dehydration are routinely applied. Formulated L. crispatus KLB46 can be used for ecological treatment of bacterial vaginosis. The response of cold adapted cells to other environmental stresses such as acid, heat, ethanol, NaCl, and H2O2 was also examined. The results showed that coldadapted cells maintained higher survival rate compared with the non-adapted cells (freezing-thawing, 3-folds; dehydration; 3-folds; acid, 3-folds; heat, 10-folds). However, we did not observe any positive effect of cold adaptation on other stresses such as ethanol, NaCl and H2O2. When chloramphenicol was added during cold adaptation, adaptation effect was abolished. This confirms that de novo protein synthesis is necessary during the adaptation process. Moreover, we have identified cold shock protein homolog that codes for a major cold shock protein by PCR amplification using degenerate primers.

Bifidobacterium species are Gram-positive, anaerobic branched of pleomorphic rods, and one of the normal flora in the large intestine of human and animals. They play and important role in maintaining health by producing antimicrobial substances or bacteriocins to inhibit undesirable pathogens.1) During food products with bifidobacteria produce cold shock protein to enhance or maintain their viability. In this study, csp gene was isolated from Bifidobacterium breve KB 69 by degenerate PCR and single primer PCR technique. The regulation of csp gene was investigated under various stressed at transcriptional level. The amount of csp mRNA was measured by using reverse transcriptase polymerase chain reaction. The study of the cold shock response d adaptation is important for our understanding of how microorganisms are able to live under low temperature stress and for improvement of cold tolerance in useful microbes. The study is also important in bacteria such as Bifidobacterium spp. and Lactobacillus spp., which are widely used in the dairy industry. Bifidobacterium breve , cold stress, cold shock protein (CSP)

본 연구는 브라질의 발레(Vale, 사업지분 50%) 그리고 한국의 동국제강(30%)과 포스코(20%) 간 합작투자로 브라질 북동부 세아라주 뻬셍 산업단지에서 건설 중인 CSP 제철소 건설 현장을 중심으로 브라질 종업원이 한국인 리더를 어떻게 평가하고 있는지 구체적으로 파악하고 이를 바탕으로 한국인 리더-브라질 부하 간 효과적인 리더십 행태를 규명하는 것을 목적으로 한다. 연구 결과, 브라질인이 인지하는 한국적 리더십으로 총 6개 요인, 즉 ①과업 중심 팀 리더십 ②독단적 온정주의 리더십 ③참여 중심 전문가형 리더십 ④권위형 리더십 ⑤불신형 리더십, 그리고 마지막으로 ⑥방임형 리더십이 도출되었다. 또한 이들 6개 리더십 요인을 독립 변수로 그리고 리더십 성과를 결과 변수로 설정하고 다중회귀분석을 실시한 결과 ①-③번 요인은 리더십 성과와 양(+)의 상관관계를, 그리고 ④-⑥번 요인은 주로 음(-)의 상관관계를 가지는 것으로 나타났다. 더불어 본 연구는 한국과 브라질 간 문화적 차이를 중심으로 이러한 연구결과가 나타난 원인을 이론적 차원에서 분석했다.

This study aims to figure out, using survey method, how Brazilian employees atCSP(Companhia Siderúrgica do Pecém) steelmill construction sites in Ceará, Brazil -a joint venture of Dongkuk Steel Group(30%), POSCO (20%) and Vale(50%)- subjectively evaluate their Korean leaders and, based on the result, identify effective leadership style in Korean leader-Brazilian follower relationship. As a result of factor analysis, the following 6 Korean leadership styles emerged, namely ①task-oriented team leadership ②humane-authoritative leadership ③participative expert leadership ④autocratic leadership ⑤distrusting leadership and ⑥autonomous leadership. Also, while the leadership style of ①-③ showed a positive relationship with overall leadership performance, the relationship between the leadership style of ④-⑥ and leadership performance was rather negative. The study discussed the survey results from the lens of cultural differences between Korea and Brazil.

시스템이 대형화가 되어가고 네트워크 환경이 발전함에 따라 분산 환경이 점점 더 증대되어 가고 있다. 이러한 분산 환경에서 사용되는 리더 선출 알고리즘(Leader Election Algorithm)은 다양하게 제시되었고 본 논문에서는 Garcia-Molina가 제시한 Bully 알고리즘을 프로세스 알제브라 언어인 CSP로 명세하고 FDR 모델체킹 도구를 이용해 해당 요구사항을 만족하는지 검증하였다.

MANET에서 라우팅 경로가 설정되었다고 하더라도 노드의 이동성으로 인하여 네트워크의 끊김 현상이 발생하여 재라우팅을 해야 하는 오버헤드와 전송 지연이 발생한다. 이러한 문제를 해결하기 위하여 각 노드의 에너지를 기반으로 에너지 그룹을 형성하고, 반응적 라우팅 프로토콜인 AODV를 수정하여 EAODV(Energy aware ADODV)를 제안하고 이를 정형 기법을 통해 명세하고 항상 라우팅 패스를 찾는다는 속성을 검증한다.

무선 인터넷의 활성화와 더불어, 사용자 인중(Authentication), 권한 부여(Accounting) 그리고 자원사용(Accounting)의 세가지 AAA 서비스를 효율적으로 제공하기 위해 RADIUS와 같은 AAA프로토콜들이 사용되고 있다. 본 논문에서는 Casper와 CSP를 이용하여 RADIUS 프로토콜을 수행동작을 명세하고, 모델 체킹 도구인 FDR을 사용하여 RADIUS 프로토콜의 안전성을 분석하고자 하였다.

Job Shop Problem which consists of the m different machines and n jobs is a NP-hard problem of the combinatorial optimization. Each job consists of a chain of operations, each of which needs to be processed during an uninterrupted time period of a given length on a given machine. Each machine can process at most one operation at a time. The purpose of this paper is to develop the heuristic method to solve large scale scheduling problem using Constraint Satisfaction Problem method and Simulated Annealing. The proposed heuristic method consists of the search algorithm and optimization algorithm. The search algorithm is to find the solution in the solution space using CSP concept such as backtracking and domain reduction. The optimization algorithm is to search the optimal solution using SA. This method is applied to MT06, MT10 and MT20 Job Shop Problem, and compared with other heuristic method.