• 한국산학기술학회논문지
• /
• 제11권3호
• /
• pp.926-930
• /
• 2010

본 논문은 컴포넌트 기반의 보안 시스템 개발을 위해 요구되는 개발 프레임워크에 관한 것이다. 정보시스템의 개발방법론 적용과 함께, 정보보호 제품의 개발방법론 적용이 현시점에 요구되고 있다. 본 논문에서는 개발방법의 NIST 요구규격, SDLC 단계별 요구기준, 위험평가 주요 보안 가이드 라인을 살펴보았다. 또한 SDLC 주요 보안 요소를 살펴보았고, 컴포넌트 기반 보안 프레임워크 수립에 대한 이해를 돕기 위해, 위협트리 STRIDE 기반의 외부 엔티티에 대한 스푸핑 측면에서 보안설계와 DFD 관계를 분석 제시하였다.

• 한국컴퓨터산업학회논문지
• /
• 제6권3호
• /
• pp.529-538
• /
• 2005

AUML(Agent Unified Modeling Language)은 에이전트 소프트웨어 시스템의 명세화, 시각화, 생성을 목적으로 하는 언어이다. 본 연구에서는 소프트웨어의 복잡화, 대형화 추세에 자동화 응용 프로그램 생성 시스템들 중의 하나인 Together를 Agent의 BDI에 응용시키고 이를 컴포넌트 시스템의 상호 운영성에 대하여 고찰한다. 상호 운용성은 컴포넌트간의 데이터 교환에 의해 이루어지며 컴포넌트의 타입이 다르더라도 서로 협력할 수 있는 표준 명세서(FIPA:Foundation for Inteligent Physical Agent)를 기반으로 ACL 메시지, 그리고 프로토콜을 사용하며 이를 객체지향 모델링을 통한 메타모델기반 등을 이용하여 구현 시 오류를 최소화하는 방법과 정확성과 일관성에 관하여 연구한다.

• 대한전자공학회논문지
• /
• 제22권1호
• /
• pp.68-74
• /
• 1985

이 논문에서는 standard cell의 layout을 위한 doglegging을 하지 않는 channel 배선 시스템에 대하여 서술할 것이다. 이 시스템은 주어진 net list specification을 만족시키기 위하여, 각각 standard cell 의 직선 배열 결합인 두 row 사이의 구평 track에서 이층의 최종 배선 패턴을 만들어 준다. 이 논문에서 사용한 CMOS cell library는 9개의 기본 cell을 가지고 있으며, Mead-Cogway 방식에서의 A-2micron을 사용하여 CIF(Caltech Intermediate From) 형태로 표현되었다. Component library에는 각 cell 내의 pin들의 이름. 위치 및 layer type 등의 입출력 port 특성이 저장되어서, CROUT라는 channel routing program에서 입력 자료로 사용된다. 또 다른 program NETPLOT은 routing 결과를 개략적으로 도시하여 주며, NETCIF에서는 최종의 자세한 layout을 CIF file로 만들어 주고 있다. 기본 cell을 이온하여 set/reset이 있는 dynamic Raster-slave형 D flip-flop에 대한 channel routing의 경우 VAX l1/780 에서 4초의 CPU 시간이 소요되었다.

• 한국전자거래학회지
• /
• 제8권3호
• /
• pp.241-257
• /
• 2003

XML(eXtensible Markup Language)은 인터넷과 e-비즈니스를 위한 글로벌 표준으로서 전자상거래의 보급 속도에 따라 XML의 활용도가증가하고 있다. 이러한 환경에서 전자상거래시에 교환되는 전자문서의 보다 안전한 보안서비스를 제공하기 위한 방안이 필요하다. XML정보보호기술 중 XML키 관리 규격(XKMS)은 다양하고 복잡한 기능의 전자상거래 애플리케이션에서 전자문서의 서명을 검증하거나 암호화하는 공개키를 관리하는 프로토콜을 정의한다. 본 논문에서는 XML 기반 보안서비스 특성에 착안하여 안전한 전자상거래를 위한 XML키 정보서비스(X-KISS)에 대한 분석과 표준안에 근거한 서비스 참조 모델을 제시하고, 기반 되는 서비스 컴포넌트를 구현하여 서비스 모델링을 수행하였다. 본 논문에서 제시된 참조 모델은 식별정보가 주어졌을 때, 필요로 하는 공개키 위치와 식별자 정보, 공개키 연결 기능을 제공한다. 구현한 클라이언트 서비스 컴포넌트의 요청 및 검색 쓰레드의 비율을 제한하여 실시간 키 검색에 대한 컴포넌트의 최소 성능을 분석하였다. 본 논문의 서비스 모델링은 향후 국내 e-비즈니스 프레임워크 구성 시 표준적 인 보안 모델을 구현할 수 있는 지침을 제공할 것이다.

• 정보처리학회논문지D
• /
• 제10D권1호
• /
• pp.85-100
• /
• 2003

오늘날의 컴퓨팅 시스템은 인터넷을 사용하여 비즈니스 거래와 분산 업무 처리로 확대되어가고 있으며 정보 기술은 점차적으로 재사용성과 독립성 그리고 이식성을 가진 컴포넌트를 기반으로 한 응용 개발이 확산되고 있다. 컴포넌트 개발 형태는 코드의 재사용이나 클래스 라이브러리보다 좀 더 발전된 형태의 부품개발 형태로서, CBD(Component Based Development)를 기초로 한다. 그러나, CBD를 이용하여 새로운 컴포넌트를 구축하는 비용의 증가와 함께 비즈니스 요구사항에 맞는 컴포넌트 개발을 위한 노력이 필요하며, 빠르게 정확한 컴포넌트 정보를 웹 상에서 지원할 수 있도록 시스템 측면에서 정규화 형태의 컴포넌트 모델이 요구되고 있다. 본 논문에서는 사용자의 요구사항에 접근하고 웹 상에서 빠르고 신속하게 애플리케이션이 개발되는데 목적을 두고 있으며, 네트워크 상에서 비즈니스 도메인을 기반한 가장 소규모 단위의 분산 컴포넌트를 대상으로 인터페이스 명세를 제공하고자 한다. 분산 컴포넌트 내부와 외부 관계를 담고 있는 명세는 사용자 중심의 컴포넌트를 제공하기 위해서 웹 상에서 요구사항을 작성하고 결국 이들은 조합되어 e-비즈니스 컴포넌트 명세 제공이 요구된다. 따라서 본 논문에서는 사용자가 분산 컴포넌트를 등록하고, 이에 대한 컴포넌트 정보를 검색말 수 있는 e-BCOS(e-Busines Component System)을 설계 구현한다. e-BCOS는 컴포넌트 등록. 검색을 위한 에이전트 시스템으로, 비즈니스 도메인에서의 분산 컴포넌트의 e-비즈니스 컴포넌트 개발을 통해 재사용성을 증대시키고, 웹 상에서 애플리케이션 구축을 빠르고 신속하게 처리될 수 있도록 하며, 사용자가 쉽게 컴포넌트에 관한 정보를 얻고 이해할 수 있도록 해준다. 또한 명세의 공유와 유통을 원활히 하기 위해서 XML(extensible Markup Language)로 명세를 표현하여 사용자의 다양한 욕구를 충족시키도록 한다. 따라서, e-BCOS는 에이전트에 의해서 효율성 증대와 시간 절약 및 신뢰성과 유지보수성을 증대할 수 있는 잇점을 가진다.

• 정보처리학회논문지D
• /
• 제12D권3호
• /
• pp.385-394
• /
• 2005

컴포넌트 기반 소프트웨어 개발(Component-based software Development) 환경에서 컴포넌트간의 의존관계 정보를 제공하는 것은 컴포넌트를 합성하는 개발자에게 중요한 일이다. 그러나 컴포넌트의 의존관계 정보가 충분하게 제공되지 않고 있다. 따라서 개발자는 원시 컴포넌트의 의존관계를 모르고 컴포넌트를 합성하는 경우가 발생한다. 본 논문에서는, 위와 같은 단점을 보완하기 위하여, 컴포넌트 사이의 의존정보를 XML로 정의하여 관리하고, 개발자에게 원시 컴포넌트 의존관계 정보를 제공하여, 무결성 있고 영속성 있는 정보 시스템 개발을 위한 컴포넌트 의존정보를 제공하는 의존 관리자의 설계와 구현을 하였다. 의존 관리자에서 생성된 컴포넌트는 재사용성 측정 메트릭의 측정값이 $89\%$에서 $95\%$가 신뢰구간 안에 포함되어 있음을 보이고 있다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제8권1호
• /
• pp.83-101
• /
• 2016

This paper suggests an event-based scenario manager capable of creating and editing a scenario for shipbuilding process simulation based on multibody dynamics. To configure various situation in shipyards and easily connect with multibody dynamics, the proposed method has two main concepts: an Actor and an Action List. The Actor represents the anatomic unit of action in the multibody dynamics and can be connected to a specific component of the dynamics kernel such as the body and joint. The user can make a scenario up by combining the actors. The Action List contains information for arranging and executing the actors. Since the shipbuilding process is a kind of event-based sequence, all simulation models were configured using Discrete EVent System Specification (DEVS) formalism. The proposed method was applied to simulations of various operations in shipyards such as lifting and erection of a block and heavy load lifting operation using multiple cranes.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권9호
• /
• pp.4248-4270
• /
• 2018

This research aims at a new practical Intent fuzzing tool for detecting Intent vulnerabilities of Android apps causing the robustness problem. We proposed two new ideas. First, we designed an Intent specification language to describe the structure of Intent, which makes our Intent fuzz testing tool flexible. Second, we proposed an automatic tally method classifying unique failures. With the two ideas, we implemented an Intent fuzz testing tool called Hwacha, and evaluated it with 50 commercial Android apps. Our tool offers an arbitrary combination of automatic and manual Intent generators with executors such as ADB and JUnit due to the use of the Intent specification language. The automatic tally method excluded almost 80% of duplicate failures in our experiment, reducing efforts of testers very much in review of failures. The tool uncovered more than 400 unique failures including what is unknown so far. We also measured execution time for Intent fuzz testing, which has been rarely reported before. Our tool is practical because the whole procedure of fuzz testing is fully automatic and the tool is applicable to the large number of Android apps with no human intervention.

• 한국기계가공학회지
• /
• 제20권7호
• /
• pp.41-47
• /
• 2021

In this study, the hinges of heavy weight doors were designed and analyzed in line with the trend that built-in appliances are becoming larger and the weight of doors is also increasing. The main specification of the heavy weight door hinge is to allow the deflection at the end of the door to be less than 2 mm when opening and closing, including the automatic closing, slow closing, and closing force control functions. The structural analysis of the design mechanism, component design, and methods for improving the deflection are as follows: 1) Mechanism of the automatic closing function should sense automatically using the spring compression force at a specific angle by the contact between the cam and the cam module roller. 2) Through structural analysis, the maximum stress of the door was found in the link pin hole connected to the pin at each link. 3) Consequently, the pin holder was designed and applied, with little variance, but up to 93% of the specification limit.

• International Journal of Computer Science & Network Security
• /
• 제24권3호
• /
• pp.151-159
• /
• 2024

Twin clutch model enables the power-shifts as conventional planetary automatic transmission and eradicates the disadvantages of single clutch trans- mission. The automatic control of the dual clutches is a problem. Particularly to control the clutching component that engages when running in one direction of revolution and disengages when running the other direction, which exchange the torque smoothly during torque phase of the gearshifts on planetary-type automatic transmissions, seemed for quite a while hard to compensate through clutch control. Another problem is to skip gears during multiple gearshifts. However, the twin clutch gear control described in ["M Goetz, M C Levesley and D A Crolla. Dynamics and control of gearshifts on twin clutch transmissions, Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 2005"], a significant improvement in twin clutch gear control system is discussed. In this research our objective is to formally specify the twin clutch gear control system and verify it with the help of formal methods. Formal methods have a high potential to give correctness estimating techniques. We use UPPAAL for formal specification and verification. Our results show that the twin clutch gear control model partially fulfills its functional requirements.