公开(公告)号：KR1020080042643A

公开(公告)日：2008-05-15

申请号：KR1020060124061

申请日：2006-12-07

Applicant: 한국전자통신연구원

Inventor： 문진영 ,  박종열 ,  백의현 ,  박광로

IPC: G06F17/00 ,  G06F21/00 ,  G06F15/00 ,  H04L9/08

CPC classification number: H04N21/26613 ,  G06F21/62 ,  H04L9/08

Abstract: A method and a device for hierarchically grouping a plurality of channels for supporting condition access are provided to support all business models provided from a CAS(Conditional Access System) while reducing the number of encryption and message transmission of the CAS by grouping the channels effectively. A group manager(110) generates a plurality of groups grouping a plurality of channels, sets up a hierarchical relation among the groups to enable a lower group to be included in upper groups and enable the upper groups to include more than the lower groups, and generates a plurality of packages including the groups having the hierarchical relation. A group key manager(120) assigns a group key to each group, and obtains/outputs the group keys of all groups included in the package when the group key of the package is requested. A data storage unit(130) stores the group keys assigned to each group. The group manager includes a group generator(111), a hierarchical relation checker(113), a cycle checker(114) and a hierarchical relation setting part(112).

Abstract translation: 提供了用于分级地分组用于支持条件访问的多个信道的方法和装置，以便通过有效地对信道进行分组来减少CAS的加密和消息传输的数量来支持从CAS（条件访问系统）提供的所有业务模型。 组管理器（110）生成分组多个通道的多个组，在组之间建立层次关系，以使较低组能够被包括在上组中，并使上组包括多于下组，并且 产生包括具有层次关系的组的多个包。 组密钥管理器（120）向每个组分配组密钥，并且当请求包的组密钥时，获得/输出包中包括的所有组的组密钥。 数据存储单元（130）存储分配给每个组的组密钥。 组管理器包括组发生器（111），层次关系检查器（113），循环检验器（114）和分层关系设置部分（112）。

公开(公告)号：KR100825722B1

公开(公告)日：2008-04-29

申请号：KR1020060054906

申请日：2006-06-19

Applicant: 한국전자통신연구원

Inventor： 김록원 ,  이대하 ,  문진영 ,  김연준 ,  조영조 ,  조현성 ,  정문영 ,  김경일 ,  송병열

IPC: G06F9/06

Abstract: 본 발명은 BPEL4WS 프로세스를 칼라드 페트리넷(CPN)으로 변환하는 방법 및 그 장치에 관한 것으로, BPEL4WS 문서를 파싱하여 CPN에 필요한 칼라집합을 생성하는 단계; 칼라 집합을 이용하여 BPEL4WS의 구조 액티비티를 CPN으로 변환하는 단계; 칼라 집합을 이용하여 구조 엑티비티에 포함된 기본 액티비티를 CPN으로 변환하는 단계; 및 구조 액티비티 또는 기본 엑티비티에 사용된 수식 또는 함수를 CPN으로 변환하는 단계를 포함함을 특징으로 한다.

公开(公告)号：KR100785778B1

公开(公告)日：2007-12-13

申请号：KR1020060054907

申请日：2006-06-19

Applicant: 한국전자통신연구원

Inventor： 김록원 ,  이대하 ,  문진영 ,  김연준 ,  조영조 ,  조현성 ,  송병열 ,  정문영 ,  김경일

IPC: G06F17/30

Abstract: 본 발명은 의미정보 기반 서비스 제공 시스템 및 방법 관한 것으로, 서비스 제공자가 등록한 서비스를 하나 이상의 색인 키워드로 표현한 온톨리지로 저장하는 서비스 저장부와 서비스 요청자로부터 서비스 요청신호를 수신하는 서비스 요청부, 온톨리지를 검색하여 서비스 요청신호에 해당하는 서비스가 존재하는지 판단하는 서비스 검색부 및 서비스 검색부의 검색결과에 따라 서비스가 존재하는 경우 서비스 요청자에게 요청한 서비스를 제공하는 서비스 제공부로 구성되어, 온톨리지를 활용한 서비스 단위의 정보 제공 기술은 사람이 아닌 지능형 에이전트들이 사용자가 원하는 정보를 정확하게 찾을 수 있도록 하며 온톨리지의 사용으로 제공되는 서비스에 대한 검색의 신뢰성이 보장되며 서비스 단위로의 추상화를 통하여 에이전트가 정보를 처리하기 용이하게 할 수 있다.
의미기반, 온톨리지, 에이전트, 색인 키워드

公开(公告)号：KR1020070061171A

公开(公告)日：2007-06-13

申请号：KR1020060054906

申请日：2006-06-19

Applicant: 한국전자통신연구원

Inventor： 김록원 ,  이대하 ,  문진영 ,  김연준 ,  조영조 ,  조현성 ,  정문영 ,  김경일 ,  송병열

IPC: G06F9/06

CPC classification number: G06F17/2264 ,  G06F17/2705

Abstract: A method and a device for transforming a BPEL4WS(Business Process Execution Language For Web Service) process into CPN(Colored Petri-Nets) are provided to facilitate execution and analysis of a web service process by transforming the web service process written in the BPEL4WS into the CPN. A color set generator generates a color set required for the CPN by parsing a BPEL4WS document. A structure activity transformer transforms structure activity of the BPEL4WS into the CPN by using the color set. A basic activity transformer transforms basic activity included in the structure activity into the CPN by using the color set. A function transformer transforms formulas or functions used for the structure or basic activity into the CPN.

Abstract translation: 提供了一种用于将BPEL4WS（用于Web服务的业务流程执行语言）过程转换为CPN（彩色Petri网）的方法和设备，以便通过将BPEL4WS中编写的Web服务进程转换为 CPN。 颜色集生成器通过解析BPEL4WS文档生成CPN所需的颜色集。 结构活动变压器通过使用颜色集将BPEL4WS的结构活动转换为CPN。 基本活动变换器通过使用颜色集将结构活动中包含的基本活动转换为CPN。 函数变换器将用于结构或基本活动的公式或函数转换为CPN。

公开(公告)号：KR100549504B1

公开(公告)日：2006-02-03

申请号：KR1020030070551

申请日：2003-10-10

Applicant: 한국전자통신연구원

Inventor： 이대하 ,  박찬규 ,  김록원 ,  문진영 ,  송병열 ,  정승우 ,  조현규 ,  함호상

IPC: H04L12/22

CPC classification number: H04L63/045 ,  H04L9/0825 ,  H04L9/3247 ,  H04L9/3263 ,  H04L63/0823 ,  H04L63/123 ,  H04L2209/60

Abstract: Disclosed is a method for creating and verifying SOAP messages in web service security using signature encryption. The SOAP message sender encrypts a signature used for SOAP message security with a secret key for encrypting data to be contained in the SOAP body. The encrypted signature is inserted in the security header of the SOAP header and sent to the recipient. The SOAP message recipient decrypts the encrypted key with his/her private key and restores the secret key. The restored secret key is used to decrypt the encrypted signature in the security header of the SOAP header, and the decrypted signature is used to verify the SOAP message.

公开(公告)号：KR1020050117438A

公开(公告)日：2005-12-14

申请号：KR1020040042748

申请日：2004-06-10

Applicant: 한국전자통신연구원

Inventor： 문진영 ,  김록원 ,  이대하 ,  정승우 ,  박찬규 ,  송병열 ,  조현규

IPC: G06F17/22

CPC classification number: G06F17/30893 ,  G06F17/3092 ,  G06Q10/067

Abstract: 1. 청구범위에 기재된 발명이 속한 기술분야
본 발명은 BPEL(Business Process Execution Language)에서 BPML(Business Process Modeling Language)로의 변환 방법에 관한 것임.
2. 발명이 해결하고자 하는 기술적 과제
본 발명은 BPEL의 실행 가능한 비즈니스 프로세스를 대응되는 BPML의 프로세스로 변환시킴으로써, BPML을 지원하는 시스템에서 BPEL로 기술된 웹 서비스의 컴포지션의 참조를 가능하게 하기 위한 BPEL에서 BPML로의 변환 방법을 제공하는데 그 목적이 있음.
또한, 본 발명은 BPEL의 실행 가능한 비즈니스 프로세스를 대응되는 BPML의 프로세스로 변환시킴으로써, BPML을 지원하는 시스템에서 BPEL을 따르는 비즈니스 프로세스 기술 문서를 산출하기 위한 BPEL에서 BPML로의 변환 방법을 제공하는데 그 목적이 있음.
3. 발명의 해결방법의 요지
본 발명은 BPEL의 기본 액티버티를 수행하는 엘리먼트에 대응되는 BPML의 엘리먼트를 생성하는 기본 액티버티 처리 단계, BPEL의 여러 개의 액티버티를 구조화시키는 엘리먼트에 대응되는 BPML의 엘리먼트를 생성하는 구조화된 액티버티 처리 단계, BPEL의 구조화된 액티버티 내부의 실행 환경을 기술하는 엘리먼트에 대응되는 BPML의 엘리먼트를 생성하는 실행 환경 처리 단계, BPEL의 액티버티간의 병렬 구조에서 순서를 지정하는 엘리먼트에 근거하여 BPML의 대응되는 엘리먼트를 생성하는 소스/타겟 처리 단계 및 상기 실행 환경 처리 단계의 요구에 응답하여 BPML의 실행 환경을 기술하는 엘리먼트를 생성하는 프로세스 생성 단계를 포함함.
4. 본 발명의 중요한 용도
본 발명은 웹 서비스를 관리하는데 이용될 수 있음.

公开(公告)号：KR100511137B1

公开(公告)日：2005-08-31

申请号：KR1020030096394

申请日：2003-12-24

Applicant: 한국전자통신연구원

Inventor： 문진영 ,  김록원 ,  이대하 ,  정승우 ,  박찬규 ,  송병열 ,  조현규

IPC: G06F9/00

Abstract: 본 발명은 웹 서비스 컴포지션 기술의 양대 표준 스펙인 WSCI와 BPEL간의 상호 변환을 위해, 각 BPEL 비즈니스 프로세스에 대응되는 WSCI 인터페이스를 생성하는 BPEL에서 WSCI로의 변환 방법 및 그 변환기에 관한 것이다.
본 발명의 BPEL-to-WSCI 변환기는, 웹서비스 행위의 기본 단위 엘리먼트들에 대한 변환을 수행하는 단순 액티버티 처리기; 복수 개의 단순 액티버티들을 구조화시키는 엘리먼트들에 대한 변환을 수행하는 구조화된 액티버티 처리기; 각 액티버티간의 병렬 구조에서 순서를 지정하는 소스/타겟 엘리먼트에 대한 변환을 수행하는 소스/타겟 처리기; 구조화된 액티버티 내부의 link 및 scope 엘리먼트에 대한 변환을 수행하는 실행 환경 처리기; 및 BPEL의 실행 환경을 기술하는 scope에 대응되는 WSCI의 process를 생성하는 프로세스 생성기;로 구성된다.