利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

26 条记录 (耗时 0.019 秒)

    Source code checker, source code checking method, program for causing execution of the method, and storage medium for storing the program
    1.
    发明授权
    Source code checker, source code checking method, program for causing execution of the method, and storage medium for storing the program 失效
    源代码检查器，源代码检查方法，用于执行该方法的程序，以及存储该程序的存储介质

    公开(公告)号：US08020153B2

    公开(公告)日：2011-09-13

    申请号：US11575824

    申请日：2005-08-29

    申请人： Takenobu Aoshima ,  Tomoaki Itoh ,  Takao Yamaguchi

    发明人： Takenobu Aoshima ,  Tomoaki Itoh ,  Takao Yamaguchi

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3688

    摘要： Disclosure is made of a source code checker and a source code checking method, for checking properties related to program behaviors meant by source code for a computer program; of a program for making execute the method; and of a storage medium for storing the program. This source code checking method includes a path extracting step and a checking information determining step. The path extracting step simulates a program described in source code for a computer program preliminarily input, to extract an instruction series to be actually executed. The checking information determining step determines checking information of the source code according to the instruction series extracted in the path extracting step.

    摘要翻译： 披露源代码检查器和源代码检查方法，用于检查与计算机程序的源代码相关的程序行为的属性; 执行该方法的程序; 以及用于存储该程序的存储介质。 该源代码检查方法包括路径提取步骤和检查信息确定步骤。 路径提取步骤模拟预先输入的计算机程序的源代码中描述的程序，以提取要实际执行的指令序列。 检查信息确定步骤根据在路径提取步骤中提取的指令序列来确定源代码的检查信息。

    Source Code Checker, Source Code Checking Method, Program for Causing Execution of the Method, and Storage Medium for Storing the Program
    2.
    发明申请
    Source Code Checker, Source Code Checking Method, Program for Causing Execution of the Method, and Storage Medium for Storing the Program 失效
    源代码检查器，源代码检查方法，执行方法的程序和存储程序的存储介质

    公开(公告)号：US20080256518A1

    公开(公告)日：2008-10-16

    申请号：US11575824

    申请日：2005-08-29

    申请人： Takenobu Aoshima ,  Tomoaki Itoh ,  Takao Yamaguchi

    发明人： Takenobu Aoshima ,  Tomoaki Itoh ,  Takao Yamaguchi

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3688

    摘要： Disclosure is made of a source code checker and a source code checking method, for checking properties related to program behaviors meant by source code for a computer program; of a program for making execute the method; and of a storage medium for storing the program. This source code checking method includes a path extracting step and a checking information determining step. The path extracting step simulates a program described in source code for a computer program preliminarily input, to extract an instruction series to be actually executed. The checking information determining step determines checking information of the source code according to the instruction series extracted in the path extracting step.

    摘要翻译： 披露源代码检查器和源代码检查方法，用于检查与计算机程序的源代码相关的程序行为的属性; 执行该方法的程序; 以及用于存储该程序的存储介质。 该源代码检查方法包括路径提取步骤和检查信息确定步骤。 路径提取步骤模拟预先输入的计算机程序的源代码中描述的程序，以提取要实际执行的指令序列。 检查信息确定步骤根据在路径提取步骤中提取的指令序列来确定源代码的检查信息。

    Device and method for API specification verification, program for executing the method, and storage medium for storing the program
    3.
    发明申请
    Device and method for API specification verification, program for executing the method, and storage medium for storing the program 审中-公开
    用于API规范验证的装置和方法，用于执行该方法的程序和用于存储程序的存储介质

    公开(公告)号：US20060075389A1

    公开(公告)日：2006-04-06

    申请号：US11232636

    申请日：2005-09-22

    申请人： Tomoaki Itoh ,  Takao Yamaguchi ,  Takenobu Aoshima

    发明人： Tomoaki Itoh ,  Takao Yamaguchi ,  Takenobu Aoshima

    IPC分类号： G06F9/44

    CPC分类号： G06F8/10

    摘要： An API specification verification device, an API specification verification method, a program for executing the method, and a storage medium for storing the program are disclosed herein, the API specification verification device and method enabling API which is not registered in a verification tool to be verified without modification to a program checking unit serving as the verification tool. The user inputs API to be verified and a specification of the API using an API specification input support unit. A program conversion unit converts a verification object program based on the input information into a form inputtable by the verification tool to output the converted program to the verification tool. The program checking unit verifies the converted program.

    摘要翻译： 本文公开了一种API规范验证装置，API规范验证方法，用于执行该方法的程序以及用于存储该程序的存储介质，API验证装置和方法使API未在验证工具中注册为 验证而不修改作为验证工具的程序检查单元。 用户输入要验证的API和使用API​​规范输入支持单元的API规范。 程序转换单元将基于输入信息的验证对象程序转换为由验证工具输入的表单，以将转换的程序输出到验证工具。 程序检查单元验证转换的程序。

    Method and apparatus for receiving broadcast programs and detecting a change in program information
    5.
    发明授权
    Method and apparatus for receiving broadcast programs and detecting a change in program information 有权
    用于接收广播节目并检测节目信息的改变的方法和装置

    公开(公告)号：US07437121B2

    公开(公告)日：2008-10-14

    申请号：US10495685

    申请日：2003-03-20

    申请人： Tomoaki Itoh ,  Takao Yamaguchi ,  Ichiro Takei

    发明人： Tomoaki Itoh ,  Takao Yamaguchi ,  Ichiro Takei

    IPC分类号： H04H20/71

    CPC分类号： H04H20/28 ,  H04H40/18 ,  H04H60/51 ,  H04H60/73

    摘要： There is provided a transmitting section for receiving program information representative of an outline and receiving condition of a receivable program and further receiving a program on the basis of the program information, and a zone-change determining section for detecting a change of the program information. The program selecting section causes the transmitting section to suspend program reception and to switch a communication port, on the basis of a determination of a change of program distribution area by the zone-change determining section. Due to this, the transmitting section is allowed to continuously receive the program so far received. This, in the case a program is provided at a communication port different based on each region, makes it possible to correctly receive a program even if moving traversing a region.

    摘要翻译： 提供了一种发送部分，用于接收表示可接收节目的概要和接收条件的节目信息，并且还根据节目信息接收节目，以及区域改变确定部分，用于检测节目信息的改变。 节目选择部分基于区域变化确定部分对节目分配区域的改变的确定，使得发送部分暂停节目接收并切换通信端口。 由此，允许发送部分连续接收到目前为止接收的程序。 这就是说，在基于每个区域的不同通信端口处提供程序的情况下，即使移动遍历一个区域也能正确地接收程序。

    Watermark insertion apparatus and watermark extraction apparatus
    6.
    发明申请
    Watermark insertion apparatus and watermark extraction apparatus 审中-公开
    水印插入装置和水印提取装置

    公开(公告)号：US20050262347A1

    公开(公告)日：2005-11-24

    申请号：US10521789

    申请日：2003-10-21

    申请人： Yuji Sato ,  Takao Yamaguchi ,  Junichi Sato ,  Ichiro Takei ,  Tomoaki Itoh

    发明人： Yuji Sato ,  Takao Yamaguchi ,  Junichi Sato ,  Ichiro Takei ,  Tomoaki Itoh

    IPC分类号： G06F21/22 ,  G06F21/00 ,  G09C1/00 ,  G09C5/00 ,  H04L9/00

    CPC分类号： G06F21/16 ,  G06F21/125

    摘要： The present invention generates watermark from ID information that uniquely identifies a program distribution destination, inserts the generated watermark in a program, and prevents the program from operating correctly if the watermark is tampered with, and also inserts the same watermark verification code in a program regardless of the distribution destination. By this means, it is possible to prevent detection of watermark verification code constituting a watermark by means of collusion attack.

    摘要翻译： 本发明从唯一地识别节目分发目的地的ID信息生成水印，将生成的水印插入到节目中，并且如果水印被篡改则防止程序正常地操作，并且在程序中插入相同的水印验证码不管 的分销目的地。 通过这种方式，可以通过串通攻击来防止构成水印的水印验证码的检测。

    Reception apparatus and information browsing method
    9.
    发明授权
    Reception apparatus and information browsing method 有权
    接收设备和信息浏览方法

    公开(公告)号：US07650567B2

    公开(公告)日：2010-01-19

    申请号：US10547315

    申请日：2004-02-24

    申请人： Tomoaki Itoh ,  Junichi Sato ,  Takao Yamaguchi ,  Ichiro Takei ,  Daiji Ido

    发明人： Tomoaki Itoh ,  Junichi Sato ,  Takao Yamaguchi ,  Ichiro Takei ,  Daiji Ido

    IPC分类号： G06N3/00

    CPC分类号： H04N21/8543 ,  H04N7/163 ,  H04N21/4312 ,  H04N21/4314 ,  H04N21/84

    摘要： The present invention allows the transmitting side to transmit a plurality of pieces of layout information that determines a display layout of at least one media and media data making up this layout information and allows the receiving side to receive the layout information and media making up this layout information transmitted from the transmitting side, select one out of a plurality of different pieces of layout information based on a reception state of this media and represent the media using the selected layout information.

    摘要翻译： 本发明允许发送侧发送多个布局信息，该布局信息确定构成该布局信息的至少一个媒体和媒体数据的显示布局，并且允许接收侧接收构成该布局的布局信息和媒体 从发送侧发送的信息，基于该媒体的接收状态，从多个不同的布局信息中选出一个，并使用所选择的布局信息表示媒体。

    Program creation apparatus
    10.
    发明申请
    Program creation apparatus 失效
    节目制作装置

    公开(公告)号：US20050049970A1

    公开(公告)日：2005-03-03

    申请号：US10919338

    申请日：2004-08-17

    申请人： Yuji Sato ,  Tomoaki Itoh ,  Takao Yamaguchi

    发明人： Yuji Sato ,  Tomoaki Itoh ,  Takao Yamaguchi

    IPC分类号： G06F21/24 ,  G06F1/00 ,  G06F12/14 ,  G06F21/00 ,  G06F21/22 ,  G09C1/00 ,  H04L9/00

    CPC分类号： G06F21/16 ,  G06F21/64

    摘要： In the present invention, a program is provided with a dummy module into which a watermark can be inserted without any effect on the operation of the program, and an digital signature. It is thereby possible for a distributor to insert a watermark for specifying a user to the dummy module, and to prevent unauthorized leakage of the program by the distributor. Further, by providing the program body with an digital signature, it is possible to prevent tampering of the program by the distributor.

    摘要翻译： 在本发明中，程序设置有可以插入水印的虚拟模块，而不影响程序的操作和数字签名。 因此，分配器可以将用于指定用户的水印插入到虚拟模块中，并且防止分发者未经授权的程序泄漏。 此外，通过向节目主体提供数字签名，可以防止分发者对节目的篡改。