• 정보과학회 논문지
• /
• 제43권3호
• /
• pp.314-326
• /
• 2016

엔터프라이즈 비즈니스 모델링의 정형 명세와 검증을 위해 프로세스 대수들이 사용된다. ${\pi}$-calculus와 Mobile ambient는 분산 실시간 비즈니스 프로세스의 이동성을 표현할 수 있다. 그러나 이동성을 표현하는 데 있어 몇 가지 제약이 존재한다: 1) ${\pi}$-calculus는 포트의 이름을 전달함으로써 간접적으로만 이동성을 표현한다, 2) mobile ambient는 ambient를 사용하여 강제적인 비동기적 이동만을 표현한다. 이러한 문제를 해결하기 위하여 본 논문은 이동성을 표현하기 위한 새로운 프로세스 대수인 ${\delta}$-calculus를 제안한다. ${\delta}$-calculus는 비즈니스 프로세스의 동기적 이동을 시공간에서 직접적으로 표현할 수 있다. 이동성으로 인해 나타날 수 있는 안전성, 보안성의 위협은 동기성, 우선순위, 데드라인 속성들을 통하여 표현이 가능하다. 제안한 개념의 시뮬레이션을 위해 ADOxx 메타-모델링 플랫폼으로 SAVE 도구를 개발하였다.

• 한국통신학회논문지
• /
• 제39C권8호
• /
• pp.738-745
• /
• 2014

최근 모바일 사용자들이 증가하면서 모바일 어플리케이션 또한 계속적으로 증가하고 있다. 모바일 어플리케이션이 증가하면서 사용자들은 모바일 장치에 은행정보, 위치정보, 아이디, 패스워드 등의 민감한 정보들을 저장하고 있다. 따라서 최근에는 PC를 타겟으로 하는 악의적인 어플리케이션보다 모바일 장치를 타겟으로 하는 악의적인 어플리케이션들이 증가하고 있는 추세이다. 특히 안드로이드 플랫폼의 경우 오픈 플랫폼으로써 사용자들에게 악성 코드를 포함한 어플리케이션을 배포하기 유리한 환경을 가지고 있다. 본 논문에서는 안드로이드 환경에서 악성코드를 포함한 어플리케이션을 탐지하기 위해 선형 SVM(Support Vector Machine) 기계학습 분류기를 적용한 악성코드 탐지 시스템의 성능을 분석한다. 또한 모바일 악성코드의 탐지 성능 향상을 위한 feature를 제시하고, 의미있는 feature를 선정한다.

• Journal of Information Processing Systems
• /
• 제11권2호
• /
• pp.205-228
• /
• 2015

In this paper, we present a virtual laboratory platform (VLP) baptized Mercury allowing students to make practical work (PW) on different aspects of mobile wireless sensor networks (WSNs). Our choice of WSNs is motivated mainly by the use of real experiments needed in most courses about WSNs. These experiments require an expensive investment and a lot of nodes in the classroom. To illustrate our study, we propose a course related to energy efficient and safe weighted clustering algorithm. This algorithm which is coupled with suitable routing protocols, aims to maintain stable clustering structure, to prevent most routing attacks on sensor networks, to guaranty energy saving in order to extend the lifespan of the network. It also offers a better performance in terms of the number of re-affiliations. The platform presented here aims at showing the feasibility, the flexibility and the reduced cost of such a realization. We demonstrate the performance of the proposed algorithms that contribute to the familiarization of the learners in the field of WSNs.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권3호
• /
• pp.215-222
• /
• 2015

사물인터넷을 이용한 디지털 도어락, DDiT를 소개한다. DDiT에서는 기존의 디지털 도어락을 제어하기 위하여 통합 마이크로 컨트롤러 플랫폼인 아두이노를 이용하였으며 모바일 플랫폼으로는 안드로이드 스마트폰을 사용하였다. DDiT의 장점 중 하나는 기존의 디지털 도어락에 부착해서 사용할 수 있는 형태로 스마트폰 애플리케이션을 열쇠로 활용하는 방식이라는 점이다. 더구나, 스마트폰 애플리케이션을 사용하므로 이를 통해서 여러 가지 부가적인 기능도 수행할 수 있다. 따라서, 사물인터넷을 이용한 디지털 도어락은 일반 가정집 도어락은 물론 호텔, 연구실, 및 회사와 같은 높은 보안을 필요로 하는 장소에까지 다양한 분야에서 효과적이고 편리하게 활용될 수 있을 것이다.

• International Journal of Computer Science & Network Security
• /
• 제21권12호
• /
• pp.29-34
• /
• 2021

The Qur'an is regarded as the holy book by Islam followers; they assert that God wants humankind to understand its meanings and implement best practices. Numerous individuals have attempted to understand the meaning of its verses and explore its Extraordinary Vocabulary; however, few people successfully studied and researched the different meanings of that holy text. Only a limited segment of the society comprising scholars, students, and intellectuals have grasped the teachings of the Qur'an. A majority of the general population, specifically youngsters, spend ample time using mobile phones. In this context, many innovative educational platforms have recently been launched to attract the general public to learn and use knowledge. Research has provided the positive impact of such smart platforms. This concept is about an innovative smartphone platform to help users understand and reason the Qur'an by helping with the book vocabulary explained by expert scholars. This work proposes creating an engaging digital format using innovative technologies. This idea is inspired by youngsters who demonstrate an immense interest in online learning. Qur'an vocabulary is the prerequisite to building a better understanding that allows users to get precise meaning.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권6호
• /
• pp.2861-2880
• /
• 2018

Mobile Ad hoc Networks (MANETs) have become a viable platform owing to their potential of providing communication without any pre-existing infrastructure and central administrating authority. Mutual support and co-operation among nodes are prerequisites for performing functions in such networks. The scarcity of resources makes it economical for nodes to conserve their resources and misbehave by avoiding participation in the network. Therefore, a mechanism is required to detect and handle such misbehaving nodes and promote co-operation in the network. Existing techniques for handling misbehaving nodes focus only on their current behaviour without considering the antecedent behaviour of nodes. In real world, a node may dynamically change its behaviour in accordance to its requirements. Hence, an efficient mechanism is required for providing security against such misbehaviour. This paper proposes an Adaptive Security Model which contemplates the present as well as anterior behaviour of nodes for providing security against dynamic node behaviour. The adaptivity of the model is nested in its ability to requite well-behaving nodes and penalize misbehaving ones in conformity with their overall behaviour. Simulation results indicate the efficiency of proposed scheme in securing the network from the menace of dynamic behaviour of nodes.

• 정보보호학회지
• /
• 제16권3호
• /
• pp.7-17
• /
• 2006

TCG(Trusted Computing Group)는 더욱 안전한 컴퓨팅 환경의 구현을 목적으로 설립된 업계 컨소시엄으로, 데이터의 신뢰성을 제공하기 위하여 TPM(Trusted Platform Module)으로 불리는 신뢰의 기본을 제공하는 핵심 하드웨어의 사용을 제안하고 있다. 최근 모바일 디바이스의 성능 향상에 따라 다양한 응용들의 지원이 가능해지고, 네트워크를 통한 소프트웨어의 업데이트 및 응용프로그램의 다운로드 등이 가능한 개방형 플랫폼으로의 변화에 따른 디지털 컨버젼스는 TMP(Trusted Mobile Platform)라는 새로운 모바일 플랫폼용 규격의 사용을 필요로 하고 있다. 본 고에서는 기존 컴퓨팅 환경과 모바일 플랫폼에 핵심 보안 모듈인 TPM 기술의 국내 외 기술의 동향과 핵심 요소들에 대한 기술적 개념들을 살펴본다.

• 안보군사학연구
• /
• 통권8호
• /
• pp.351-381
• /
• 2010

Established on February 1st, 2010, The ROKN maritime task flotilla has a goal to successfully cope with North Korea and other potential threats. Unlike precedents of its kind, The ROKN maritime task flotilla is expected to concentrate more an far-sea strategies than coastal strategies. In such circumstances however, the existing maritime logistics systems have limitations upon which to utterly support the operation conception of the ROKN maritime task flotilla seven. To ensure it's efficiency, transformation of the systems is prerequisite. The purpose of this study is to deduce an adequate maritime logistics system for the ROKN maritime task flotilla by evaluating the limitation of the current system and foreseeing its performance necessary abilities to operate in the future. In order to do this, the study presented problems and the direction of development on the structural and behavioral sides. Fist, regarding problems in the structure of maritime logistics system, the investigation pronounced the need of improvement in mobile logistics support ability and its speed. In addition, for the behavioral side, the need of improvement in logistics cooperation system and self-maintenance ability was affirmed. For the development of an adequate maritime logistics system, the study suggested the amelioration in the operation of an adequate mobile logistics support platform and the speed of the logistics using high-speed transportation such as planes for the structural side. Moreover, for the behavioral side, it recommended th enhancement of logistics cooperation system including the nations that already imported th weapon system, amelioration of self-maintenance ability, and necessity to operate mobile maintenance group.

• 정보보호학회논문지
• /
• 제24권1호
• /
• pp.145-154
• /
• 2014

본 논문에서는 범죄수사에서 사용되는 프로파일링 기법을 이용한 모바일 악성코드 행위 프로파일링을 통하여 효율적인 모바일 악성코드 분류 방법론 Andro-profiler를 제안한다. Andro-profiler는 클라이언트/서버 형태로, 클라이언트 앱이 모바일기기에 설치되어 사용자가 사용하고 있는 앱에 대한 정보를 서버에 전송하고, 서버에서는 해당 앱을 동적 분석 도구인 Droidbox가 설치된 에뮬레이터에서 실행시키면서 발생되는 시스템 콜과 에뮬레이터 로그를 이용하여 해당 앱의 행동을 프로파일링하며, 해당 앱의 프로파일링 목록을 저장된 악성코드 프로파일링 DB와 비교하여 악성유무를 판단하고, 악성코드로 판단될 경우 분류를 실시하여 클라이언트에게 결과를 통보한다. 실험결과, Andro-profiler는 1MB의 악성코드를 분류하는데 평균 55초가 소요되었고, 99%의 정확도로 악성코드를 분류하는 것을 확인하였으며, 기존 방법론보다 더 정확하게 악성코드를 분류할 수 있다.

• 디지털융복합연구
• /
• 제13권8호
• /
• pp.331-336
• /
• 2015

최근 사물인터넷(IoT), 핀테크(Fintech) 기술의 발전과 활용이 늘어나고 있고, 시스템과 서비스의 융합이 떠오르고 있는 가운데 무선결제 시스템과 위치기반서비스 기술이 관심을 받고 있다. 스마트폰의 사용자들이 현재 무선결제를 많이 이용하고 있는 상황을 고려하여 많은 기업들에서 소비자들의 간편한 결재를 위하여 다양한 기술들을 접목하여 시장에 내놓고 있으며, BLE 기술과 위치기반을 바탕으로 한 기술을 활용하여 간편 결제가 이루어질 수 있도록 ZEP과 같은 결제서비스의 새로운 방식으로 적용되어 나타나고 있다. 이러한 결제 서비스에서 보안의 위협이 존재하는 여부를 확인하고 발생할 수 있는 공격기법을 연구하여 그에 대한 빅데이터 플랫폼 기반의 대응방안을 제시하고자 한다.