-
公开(公告)号：KR1020040050561A
公开(公告)日：2004-06-16
申请号：KR1020020078415
申请日：2002-12-10
Applicant: 한국전자통신연구원
CPC classification number: H04N21/4623 , H04N21/441
Abstract: PURPOSE: A method for converting an EMM(Entitlement Management Message) in a CAS(Conditional Access System) with a PKI(Public Key Infrastructure) is provided to solve problems of a CAS with a symmetric key scheme. CONSTITUTION: A CAS(207) connects to a subscriber management system(206), reads each subscriber information from a database through the subscriber management system(206), and transmits subscriber information to a CA(Certificate Authority) server(202) according to a certificate policy. The CAS(207) transmits a certificate request form including a public key of electronic signature keys stored in the database to the CA server(202). The subscriber management system(206) records a certificate issued from the CA server(202) and a subscriber's private key stored in the database in a conditional access module through a recording device(204).
Abstract translation: 目的：提供一种使用PKI（公钥基础设施）转换CAS（条件访问系统）中的EMM（授权管理消息）的方法，以解决具有对称密钥方案的CAS的问题。 构成：CAS（207）连接到用户管理系统（206），通过用户管理系统（206）从数据库读取每个用户信息，并根据所述用户信息向CA（认证中心）服务器（202）发送用户信息 证书政策。 CAS（207）将存储在数据库中的包括电子签名密钥的公开密钥的证书请求表发送到CA服务器（202）。 订户管理系统（206）通过记录设备（204）将从CA服务器（202）发出的证书和存储在数据库中的用户私钥记录在条件访问模块中。
-
公开(公告)号：KR100327902B1
公开(公告)日：2002-03-09
申请号：KR1020000003861
申请日：2000-01-27
Applicant: 한국전자통신연구원
IPC: H04L29/06
Abstract: 이 발명은 실시간프로토콜의 개발에 있어서 요구사항을 시간오토마타 (1) 형태로 명세화하고 명세화를 거친 시간오토마타명세모델이 요구사항과 일치하는지를 구현전에 확인하는 실시간검증방법에서 명세의 무결성 및 완전성을 입증하기 위하여 지역모형검사를 이용하는 방법을 제공하기 위한 것이며, 지역모형검사를 적용한 실시간프로토콜 검증방법(13)은, 시간오토마타(1)의 명세모델과 시간적 뮤우계산법 논리식(8)을 기반으로 지역프러덕트그래프(9)를 구성하고 지역프러덕트그래프의 초기노드의 논리값에만 초점을 두어 실시간검증을 수행하는 실시간지역모형검사알고리즘(14)을 이용하며, 또한, 시간오토마타명세모델이 시간적 뮤우계산법의 논리식으로 표현된 실시간안전성특성(30)을 만족하는지를 검사하는 실시간안전성 검증방법(15)을 이용 하여 시간오토마타명세모델에서 논리적, 시간적 정확성이 결여되어 천이가 발생하지 않는 시간적 교착상태나 상태의 부분집합만을 무한히 반복하여 실시간프로토콜모델의 초기상태로 돌아가지 못하는 시간적 라이브락의 존재여부를 확인하는 실시간안전성검증을 행하고, 시간오토마타명세모델이 시간적 뮤우계산법의 논리식으로 표현된 실시간필연성 특성을 만족하는지를 검사하는 실시간필연성 검증방법(16)을 이용하여 시간오토마타명세모델에서 한 행위가 발생한 후 임의의 시간 내에 원하는 행위가 발생하는지를 확인하는 실시간필연성검증을 행한다.
-
公开(公告)号：KR100323384B1
公开(公告)日：2002-03-08
申请号：KR1019980052943
申请日：1998-12-03
Applicant: 한국전자통신연구원
IPC: G06F17/27
Abstract: 본 발명은 유한 오토마타 기반의 프로토콜 명세에 대한 검정 방법에 관한 것으로, 오토마타 모델내에 어떠한 천이도 존재하지 않는 deadlock 상태와 상태의 부분집합만을 무한히 반복하여 초기상태로 돌아가지 못하는 livelock 상태 혹은 상태집합이 존재하는지를 검사하는 안전성 검정 과정과, 상기 오토마타 모델의 임의의 상태에서 같은 행위에 의한 둘 이상의 천이가 존재하는 비결정성을 검정하는 결정성 검정 과정과, 상기 오토마타 모델 내의 임의의 상태에서 입력 행위와 출력 행위의 발생여부를 검사하는 상태도달성 검정을 위하여 Modal mu-calculus의 논리식으로 표현된 상태도달성 특성을 오토마타가 만족하는지를 모형 검사의 기법을 통하여 확인하는 상태도달성 검정 과정과, 상기 오토마타 모델에서 연속적인 세가지 행위가 명세내에서 과연 발생� �는지를 검사하는 행위도달성 검정을 위하여 Modal mu-calculus의 논리식으로 표현된 행위도달성 특성을 오토마타가 만족하는지를 모형 검사의 기법을 통하여 확인하는 상태도달성 검정 과정으로 이루어지는 유한 오토마타 기반의 프로토콜 명세에 대한 검정 방법이 개시된다.
-
-
公开(公告)号：KR1020150030039A
公开(公告)日：2015-03-19
申请号：KR1020130109225
申请日：2013-09-11
Applicant: 한국전자통신연구원
IPC: G06F3/01
CPC classification number: G06F3/01 , G06F3/016 , G09B21/003
Abstract: 본 발명은 촉각 이미지 변환 방법에 관한 것으로, 영상을 다운 샘플링 하는 단계; 상기 다운 샘플링된 영상을 일련의 촉각 이미지로 변환하는 단계; 변환된 촉각 이미지를 무선 통신을 통하여 촉각 출력기로 전송하는 단계; 및 상기 촉각 출력기를 통하여 상기 변환된 촉각 이미지를 출력하는 단계를 제공한다.
Abstract translation: 本发明涉及一种将电视图像转换为触觉图像的方法，包括以下步骤：对图像进行下采样; 将下采样图像转换成一系列触觉图像; 通过无线通信将触觉图像发送到触感输出单元; 并通过触感输出单元输出触觉图像。 通过减少将电视图像转换为触觉图像时可能发生的错误，该方法使得用户能够通过输出的触觉图像来识别电视图像的整个轮廓级别。
-
Patent Agency Ranking
公开(公告)号：KR1020140077281A
公开(公告)日：2014-06-24
申请号：KR1020120145876
申请日：2012-12-14
Applicant: 한국전자통신연구원
CPC classification number: H04N7/0117 , G09G2300/0413
Abstract: The present invention provides an image display method and an apparatuses for providing adaptive variable resolution. A virtual pixel is generated by using the pixel of the produced content image according to the resolution of a display part and the resolution of the produced content image. It is displayed on the display part. The image of the content is displayed on the display part according to the resolution of the display part. A video service which a viewer wants can be naturally provided.
Abstract translation: 本发明提供一种图像显示方法和提供自适应变量分辨率的装置。 通过根据显示部分的分辨率和所产生的内容图像的分辨率使用所产生的内容图像的像素来生成虚拟像素。 显示在显示部件上。 内容的图像根据显示部分的分辨率显示在显示部分上。 可以自然地提供观众想要的视频服务。
-
公开(公告)号：KR101078128B1
公开(公告)日：2011-10-28
申请号：KR1020080130435
申请日：2008-12-19
Applicant: 한국전자통신연구원
Abstract: 디지털케이블방송수신기의호환성보장을위한미들웨어제공방법및 장치가제공된다. 개시되는디지털케이블방송수신기의호환성보장을위한미들웨어제공방법및 장치는, OCAP(OpenCable Application Platform) 미들웨어에관련된정보를포함하는 OCAP 이미지정보를생성하고, 상기 OCAP 이미지정보를케이블방송수신기측으로송신하며, 상기 OCAP 이미지정보의제공에대한응답으로서상기 OCAP 미들웨어의변경요청메시지를수신하고, 상기 OCAP 미들웨어의변경요청메시지에기초하여상기케이블방송수신기의인증여부를판단하고, 판단결과인증이된 경우상기케이블방송수신기측으로상기 OCAP 미들웨어가제공되도록제어한다.
-
公开(公告)号：KR100952302B1
公开(公告)日：2010-04-13
申请号：KR1020070125469
申请日：2007-12-05
Applicant: 한국전자통신연구원
CPC classification number: H04L12/2898 , H04L41/0803 , H04L41/0869
Abstract: 본 발명은 가입자 단말 케이블모뎀을 제어하는 형상정보 제어 서버 및 그 방법에 관한 것으로, 더욱 상세하게는 상기 형상정보를 이중 구조로 관리하여 상기 가입자 단말 케이블모뎀을 제어할 수 있는 형상정보 제어 서버 및 그 방법에 관한 것이다. 본 발명은 형상정보를 기반으로 가입자 단말 케이블모뎀을 제어하는 형상정보 제어 서버에 있어서, 상기 가입자 단말 케이블모뎀을 제어하기 위한 상기 형상정보에 포함되는 기본형상정보를 생성하고, 상기 생성된 기본형상정보를 상기 가입자 단말 케이블모뎀으로 전송하는 기본형상정보 관리모듈; 상기 형상정보에 포함되는 추가형상정보를 생성하고, 상기 생성된 추가형상정보를 상기 가입자 단말 케이블모뎀으로 전송하는 추가형상정보 관리모듈; 및 상기 기본형상정보 또는 상기 추가형상정보의 상기 가입자 단말 케이블모뎀으로의 전송 필요 여부를 판단하는 제어모듈을 포함하는 것을 특징으로 하는 형상정보 제어 서버를 제공한다.
형상정보, 기본형상정보, 추가형상정보, 케이블모뎀, 이중 구조-
公开(公告)号：KR100930962B1
公开(公告)日：2009-12-10
申请号：KR1020070066157
申请日：2007-07-02
Applicant: 한국전자통신연구원
Abstract: A device and a method for testing security of RPC(Remote Procedure Call)-based software in a remote place are provided to perform a remote security test for the RPC-based software efficiently, and standardize and automatically process a series of procedures causing exceptional errors in target software. A testing target selecting module(110) determines a target service/function. An RPC interface module(120) interfaces communication with the selected service/function. A function calling/analyzing module(130) subdivides entire packet by filtering/dividing the received service/function into a part calling a service function and a network communication part setting connection needed for calling the function, and analyzing procedure/setting of a protocol set and individual protocols needed for setting the connection with a server. A communication protocol implementing module(140) modularizes and implements a network communication protocol part for transferring an RPC function call. A security testing module(150) tests security of parameter transferred when the function is called. A result analyzing module(160) analyzes a security test result by testing the security of the RPC-based software of a remote computer and collecting the packets. A testing module(170) transfers massages to a service providing function as many as possible to check over whether a service for specific input is stably operated.
Abstract translation: 提供了一种用于在远程地点测试RPC（远程过程调用）的软件安全性的设备和方法，以有效地对基于RPC的软件执行远程安全测试，并标准化和自动处理一系列引起异常错误的过程 在目标软件中。 测试目标选择模块（110）确定目标服务/功能。 RPC接口模块（120）与选择的服务/功能进行通信。 功能调用/分析模块（130）通过将所接收的服务/功能过滤/划分成调用服务功能的部分和调用功能所需的网络通信部分设置连接来分割整个分组，并且分析协议集的过程/设置 以及设置与服务器的连接所需的单个协议。 通信协议实现模块（140）模块化并实现用于传送RPC功能调用的网络通信协议部分。 安全测试模块（150）测试调用函数时传输的参数的安全性。 结果分析模块（160）通过测试远程计算机的基于RPC的软件的安全性并收集分组来分析安全测试结果。 测试模块（170）尽可能多地将按摩传递给服务提供功能，以检查针对特定输入的服务是否稳定地操作。
-
公开(公告)号：KR1020090125552A
公开(公告)日：2009-12-07
申请号：KR1020080051716
申请日：2008-06-02
Applicant: 한국전자통신연구원
CPC classification number: G06K9/00
Abstract: PURPOSE: A digital forensic apparatus and a method thereof are provided to analyze a page file according to a characteristic in a windows environment and use a suitable method for each characteristic. CONSTITUTION: A page file extracting unit(103) extracts a page file saved in a object storage medium. A storage page characteristic extracting unit(105) extracts a characteristic of a page saved in the extracted page file. A page classifying unit(109) compares a characteristic of the extracted page with one predetermined classification reference. The page classifying unit classifies the page according to the comparison result. A digital forensic executing unit(113) performs digital forensic correspondingly to the classified page.
Abstract translation: 目的：提供一种数字取证装置及其方法，用于根据Windows环境中的特性分析页面文件，并针对每个特征使用适当的方法。 构成：页面文件提取单元（103）提取保存在对象存储介质中的页面文件。 存储页面特征提取单元（105）提取保存在所提取的页面文件中的页面的特征。 页面分类单元（109）将提取的页面的特性与一个预定的分类参考进行比较。 页面分类单元根据比较结果对页面进行分类。 数字取证执行单元（113）对应于分类页进行数字取证。
-
-
-
-
-
-
-
-
-
Search Results
66
records
(took 0.024 seconds)
