• 융합보안논문지
• /
• 제5권3호
• /
• pp.67-73
• /
• 2005

소프트웨어 개발시 내재될 수 있는 취약성을 최소화하기 위해서는 요구사항 분석단계에서부터 보안 요구사항을 잘 정의하여야 한다. 본 논문에서는 객체지향 개발 방법론에서 소프트웨어 보안 요구사항 명세를 위한 체계적인 방안을 제시한다. 본 논문에서 제시한 방안은 크게 보안 목표 설정, 위협식별, 공격트리 작성 그리고 보안기능 명세로 이루어진다. 이 방법을 이용하면 소프트웨어가 가져야 할 보안 요구사항과 기능을 보다 명확하고 체계적으로 작성할 수 있다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2001년도 International Conference CALS/EC KOREA
• /
• pp.253-258
• /
• 2001

In electronic commerce, a registry is an integrated software system that supports access to registry metadata in order to locate and retrieve registered objects it can be discovered and used by a client or customer. In general, a registry consists of information model and its service. A registry implementation supports a registry services interface that can be used by abstract agents to assist a human or some other software process to register new objects, provide appropriate metadata for those objects, browse or query registry content, filter out irrelevant references, and retrieve the content of selected items. We show a layered registry architecture that is flexible enough to support the required specialization of many different kinds of registry specification of other sponsoring groups. This architecture could easily adopt different registry specification. This paper suggests a prototype implementation model which supports ebXML Registry standard based on this layered architecture.

• 대한임베디드공학회논문지
• /
• 제2권4호
• /
• pp.251-259
• /
• 2007

AUTOSAR is a partnership of automotive manufacturers and suppliers working together to develop and establish a de-facto open industry standard for automotive software architectures. In the AUTOSAR architecture, the runtime environment is at in the heart of the AUTOSAR architecture to provides the infrastructure services that enable communication between software components and between software components and basic software components. The RTE generator is an automated generation tool for AUTOSAR specification based RTE according to the ECU configuration. It generates communication API function for the software components and the basic software components like OS and COM of the application. The availability and the accuracy of the RTE generator are important for the automobile software which is based on AUTOSAR architecture, this paper proposes an architectural design of the RTE generator for auto-generation of the AUTOSAR based RTE.

• 한국군사과학기술학회지
• /
• 제22권6호
• /
• pp.784-796
• /
• 2019

As the size and complexity of software increases, it is important to ensure the quality of software through testing. Many organizations refer to international standards or test process models to improve the quality of software through establishing a systematic test process. However, these standards and process models provide general processes that do not reflect the characteristics of the domain or the organization's test policies and strategies. To establish a test process that reflects the characteristics of the organization, test policies and strategies based on the organization's quality objectives and the organizational and domain characteristics should be reflected. This study proposes specific methods for eliciting activities and information to establish organizational software test policies and strategies that are essential to establishing a test process that reflects the characteristics of the organization and the system.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2003년도 춘계학술발표대회 요약집
• /
• pp.87.2-87.2
• /
• 2003

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 추계학술발표회요약집
• /
• pp.76-76
• /
• 1998

• 정보처리학회논문지D
• /
• 제8D권4호
• /
• pp.421-426
• /
• 2001

정형적 개발 방법론은 소프트웨어를 정확하고 체계적으로 개발하기 위하여 사용되며 시스템을 정형 명세 언어를 사용하여 맹세하고 이를 구현할 때까지 점진적으로 시스템을 구체화하는 방법으로 개발한다. VDM은 정형 명세 언어의 하나로서 set, sequence, map의 수학적 추상적 자료구조를 사용하여 시스템을 명세하는데 대부분의 프로그래밍 언어는 이런 자료구조를 가지고 있지 않다. 그러므로 이들 자료구조들의 변환이 필요하며 VDM의 수학적 자료구조들은 프로그래밍 언어의 자료구조인 연결 리스트로 변환 할 수 있다. 본 논문에서는 VDM의 set, sequence, map의 자료구조를 프로그래밍 언어의 자료구조인 연결 리스트로 변환하는 방법과 그 변환의 타당성을 수학적으로 증명하였다.

• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.33-40
• /
• 2018

This paper is based on the interim result of ongoing research and development project to develop a software system which support procurement activities, namely PeMSS (Procurement Engineering Management Support System). PeMSS is a system that enables development requirements for each equipment and help designing equipment meeting the purchase requirements. Procurement at EPC (Engineering Procurement and Construction) and operational stage of a plant is an important area that determines the integrity and profitability of the plant. Procurement of unsuitable equipment due to selection of suppliers that do not meet or omit critical requirements in purchase specification can result in enormous cost increase due to such as delay in EPC project, unsatisfactory performance and reduced plant operation time. In spite of the importance of the procurement engineering, there is a lack of support system for systematic preparation of purchase specification, so development of the procurement specification is basically relying on the experience of the engineers in charge. Accordingly, it is needed to develop the PeMSS to help procurement engineers develop procurement specification based on systems engineering approach. This paper introduces the design of the PeMSS.

• 한국산학기술학회논문지
• /
• 제15권3호
• /
• pp.1691-1699
• /
• 2014

IEEE에서는 V2I, V2V 등의 무선 통신 기능을 제공하여 차량 운행의 안전을 증대 시킬 수 있는 WAVE 규격을 정의하고 있다. WAVE 규격에서는 무선 통신이 갖는 보안 취약성을 극복할 수 있도록 메시지의 암호화 및 인증 기능을 지원하고 있다. 본 논문에서는 WAVE 규격에서 지원하고 있는 보안 알고리즘들을 openssl 라이브러리와 C언어로 구현하였으며, 구현된 알고리즘들은 관련 규격들에서 제시하고 있는 테스트 벡터를 이용하여 정상 동작을 확인하고 성능을 측정하였다. 본 논문에서 구현된 보안 알고리즘들은 플랫폼에 독립적으로 구현되어, WAVE 보안 규격의 구현에 활용될 수 있을 것으로 생각된다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.639-650
• /
• 2002

소프트웨어의 성공적인 개발을 위해서는 체계적이고 명확한 요구분석이 이루어져야 한다. UML에서는 유스케이스 모델링을 통해 사용자 또는 고객의 요구사항을 파악하고 업무 시스템의 범위를 결정하는 방법을 제공하고 있다. 본 논문에서는 효율적이며 정확한 유스케이스 모델링을 위한 연구의 일환으로, 요구사항 기술서로부터 정형화된 규칙을 적용해 가면서 단계적으로 유스케이스 다이어그램을 추출하는 기법을 제시하였다. 요구사항 기술서 관련규칙( $R_{A}$; Rules for Requirements Specification)을 적용하여 요구사항 기술서를 변경하고, 변경된 요구사항 기술서에 액터 추출 규칙( $R_{A}$ ; Rules for Actors), 유스케이스 추출 규칙( $R_{U}$ ; Rules for Use Cases), 관계 추출 규칙( $R_{R}$ ; Rules for Relationships)을 각각 적용하여 액터, 유스케이스, 관계를 추출하여 최종적으로 유스케이스 다이어그램(Use Case diagram)을 작성하게 된다. 본 논문에서 제시한 규칙을 인사관리 요구사항 기술서에 적용해 본 결과, 정형화된 규칙이 없이 서술적인 몇몇 조언을 바탕으로 유스케이스 다이어그램을 추출해야하는 기존의 어려움을 줄일 수 있는 효과를 확인하였다.확인하였다.