• Journal of Internet Computing and Services
• /
• v.20 no.2
• /
• pp.61-68
• /
• 2019

Although the number of smartphone users is continuously increasing due to the advantage of being able to easily use most of the Internet services, the number of counterfeit applications is rapidly increasing and personal information stored in the smartphone is leaked to the outside. Because Android app was developed with Java language, it is relatively easy to create counterfeit apps if attacker performs the de-compilation process to reverse app by abusing the repackaging vulnerability. Although an obfuscation technique can be applied to prevent this, but most mobile apps are not adopted. Therefore, it is fundamentally impossible to block repackaging attacks on Android mobile apps. In addition, personal information stored in the smartphone is leaked outside because it does not provide a forgery self-verification procedure on installing an app in smartphone. In order to solve this problem, blockchain is used to implement a process of certificated application registration and a fake app identification and detection mechanism is proposed on Hyperledger Fabric framework.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.285-288
• /
• 2006

임베디드 시스템 소프트웨어 개발과정에서, 자연어로 작성된 요구명세와 소프트웨어 엔지니어와 하드웨어 엔지니어 사이의 서로 다른 언어와 개발도구의 차이로 인해 많은 문제들이 있어왔다. 즉, 개발자의 실수로 설계가 잘못 명세 되었거나 요구명세와 실제 구현된 시스템 소프트웨어의 인터페이스 코드나 요구된 수행이 일치하지 않았다. 이를 해결하기 위해 본 논문에서는 정형기법을 이용하여 요구사항을 명세하고 설계를 검증함으로써 개발자의 실수로 인한 오류를 줄이고 개발된 시스템 소프트웨어의 인터페이스 코드 및 수행이 요구명세를 만족함을 보이도록 정형기법을 이용한 개발 프레임워크를 제안하고자 한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.847-851
• /
• 2007

Finite automata는 실제 복잡한 컴퓨터의 연산을 수학적으로 모델링하는 computational 모델 중 하나로써 작은 메모리를 가지는 컴퓨터를 모델링하기에 적합하다. 이는 유비쿼터스 환경에서 실제로 작은 메모리를 가지는 장치가 ECA 룰을 작동시키는 디바이스 로직(디바이스 logic)을 효과적으로 운영할 수 있는지 여부를 검증하는 도구로 사용될 수 있다. 본 논문은 웹서비스 기반의 이벤트 처리 언어를 CFA로 모델링하고 알고리즘을 개발하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.869-871
• /
• 2007

최근 유비쿼터스 환경으로 발전하면서 이종의 하드웨어와 소프트웨어 플랫폼을 가지고 있는 디바이스들 간의 연동 기술이 점점 중요해지고 있다. 이에 대한 연구 중의 하나로 웹서비스를 이용한 이벤트 기반 다바이스 연동 프레임워크가 있으며, 이는 XML을 기반으로 이벤트 기반의 다바이스 연동을 정의하는 룰 언어인 WS-ECA를 제안하고 있다. 그러나, 아직까지 WS-ECA를 효과적으로 작성할 수 있는 방법이 제시되지 않고 있다. 따라서, 본 논문은 비즈니스 프로세스에 대한 로직을 표현하는 데 가장 활용이 많이 되고 있는 BPEL을 WS-ECA로 변환하는 방법을 제안하며, 이는 BPEL 저작 툴을 이용하여 기본적인 디바이스 연동을 정의할 수 있으므로 효과적으로 WS-ECA을 생성할 수 있는 방법을 제공할 수 있다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.123-126
• /
• 2002

본 논문에서는 실시간으로 운율을 제어 할 수 있는 방법의 하나인 지속시간 변경을 주파수 영역에서 변경하는 방법을 사용하였다. 또한 프레임처리에서 윈도우의 영향으로 스펙트럼 왜곡 및 음질 저하를 방지하기 위하여 보상된 윈도우를 적용하였다. 만약 운율조절에 있어서 지속시간을 자유롭게 변경할 수 있다면 언어장애인의 발음교정이나 어학학습 등 여러 분야에 이용할 수 있을 것이다. 결과적으로 본 논문에서 제안한 FFT변환 특성을 이용하여 지속시간을 변경한 방법을 사용하여 피치변경후에 지속시간까지 변경한 음성의 명료도가 피치만 변경한 경우보다는 떨어지지만 자연성 면에서는 더 좋은 결과를 얻을 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.445-448
• /
• 2004

자바는 자바 가상기계를 사용해서 플랫폼에 독립적으로 사용할 수 있는 장점을 가진다. 그러나 자바가상머신은 인터프리터 방식을 이용하기 때문에 다른 컴파일언어에 비해서 수행속도가 느리다는 단점을 가진다. 이런 단점을 극복하기 위해서 많은 최적화나 JIT컴파일러 그리고 네이티브 코드로의 변환과 같은 연구들이 많이 연구되었다. 이전의 연구들은 한계성을 가지고 있어서 자바에서 수행시간의 문제는 지금도 문제로 남아있다. 이전의 문제점 해결의 극복의 대안으로 바이트코드를 최적화하는 프레임워크인 CTOC를 설명하고, CTOC에서 사용하는 중간코드로 사용하는 3-주소형식의 CTOC-T를 바이트코드로 변환하고, CTOC-T에서 바이트코드형식으로 변환할 때 생기는 과다한 load/store의 문제점을 해결한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.561-564
• /
• 2004

음악 상품의 검색, 주문(계약), 대금결제, 배송 등에 있어서 기업들은 자신의 독자적인 비즈니스 방식과 거래 시스템을 구축하여 운영하기 때문에 기업과 기업간(B2B) 음악 상품의 전자 상거래에는 많은 어려움이 따른다. e비즈니스 표준 프레임워크인 ebXML은 기업의 전자 상거래를 위한 비즈니스 정보를 교환할 때 확장성 표기 언어를 적용해 기업간 시스템간의 상호 운용을 가능하게 하지만, 음반 산업분야의 적용은 미흡한 실정이다. 본 논문에서는 음악 B2B를 위해 ebXML 등록기 및 저장소를 설계 및 구현하였다. 본 논문에서 설계, 구현한 등록기는 거래 당사자인 기업간에 음악 상품 및 기업의 거래 관련 정보를 공유하는 서비스를 제공하며, 저장소는 실세계의 기업간 음악 거래 정보 및 음악 거래에 사용되는 개체간의 연관성 정보를 저장하고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.962-965
• /
• 2008

유비쿼터스 환경에 산재하는 서비스 발견 미들웨어는 프로토콜, 표준, 서비스 검색 방법 및 프로그래밍 언어 등의 이질적인 특성을 가진다. 본 연구에서는 이질적인 서비스 발견 미들웨어의 상호운용을 지원하기 위해 유니버설 네트워크를 위한 웹서비스 프레임워크를 제안했다. 따라서 본 논문에서는 대표적인 미들웨어인 DPWS 와 웹서비스의 상호운용을 지원하기 위해 양방향 DPWS 어댑터에 대한 설계 및 구현을 서술한다. 또한 양방향 DPWS 어댑터의 구조, 구성 요소와 동작 과정을 설계하고, 간단한 시나리오를 구현함으로써 양방향 DPWS 어댑터가 제공하는 서비스 지향 아키텍처, 상호운용성 제공, 일반적인 웹서비스 호출, 자가 구성, 동적 서비스 검색 등의 이점을 논한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2024.01a
• /
• pp.359-361
• /
• 2024

한국의 전통탑에 대한 정보는 주로 2D 형식의 사진이나 동영상 자료를 통해 제공되고 있다. 또한, 특정 지역 및 시대에 따라 분류하여 제공하는 웹사이트도 일부 존재한다. 본 논문에서는 우리나라의 다양한 시대별 탑에 대한 서비스를 현실적으로 체험할 수 있도록 웹 기반으로 구현했다. Aframe 언어를 활용하여 웹상에서 그래픽을 표현하고, 서버는 아파치를 이용하여 서비스를 제공했다. 더불어 가상현실를 이용해 실감형서비스를 제공하기 위해 웹상에서 가상현실을 지원다. 이를 통해 사용자들은 웹상에서 가상현실과 360도 서비스를 동시에 이용할 수 있다.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.1
• /
• pp.29-34
• /
• 2016

One of the most important aspects of the research on multi-agent systems is the definition of agent communication languages(ACLs) and the specification of a proper formal semantics of ACLs. In this paper, we propose an illocutionary effect-based FIPA-ACL semantics which overcomes the two traditional semantic approaches. The key idea of this new semantics is based on the semantic concepts of success and satisfaction conditions of illocutionary acts in speech act theory, and the common ground theory-based framework. As case studies using this new semantics, we define the primitive speech acts of FIPA-ACL such as inform and request. For the strengths of the proposed approach we illustrate our new semantics on an e-commerce agent purchase negotiation. Also, we compare this approach with two traditional semantic approaches for ACLs.