Method and system for using personal devices for authentication and service access at service outlets
    1.
    发明授权
    Method and system for using personal devices for authentication and service access at service outlets 失效
    在服务网点使用个人设备进行身份验证和服务访问的方法和系统

    公开(公告)号:US08713655B2

    公开(公告)日:2014-04-29

    申请号:US12386554

    申请日:2009-04-20

    IPC分类号: G06F15/16

    摘要: Various embodiments of the present invention provide a method and an interaction system. A first set of information related to a user is received from a personal communication device with or without an embedded secure element, or from an independent secure element at a service outlet. The personal communication device and the secure element are associated with the user. Further, a trust is established between the service outlet and the secure element by a process of mutual authentication. If a personal communication device is used, a communication channel is established between the personal communication device and the service outlet. Thereafter, the user is provided access to multiple services offered by the service provider over the communication channel through the personal communication device. If a personal communication device is not used, the services are provided through the access point of the service outlet.

    摘要翻译: 本发明的各种实施例提供了一种方法和交互系统。 从具有或不具有嵌入式安全元件的个人通信设备或从服务插座处的独立安全元件接收与用户相关的第一组信息。 个人通信设备和安全元件与用户相关联。 此外,通过相互认证的处理,在服务插座和安全元件之间建立信任。 如果使用个人通信设备,则在个人通信设备和服务插座之间建立通信信道。 此后,用户通过个人通信设备通过通信信道提供对服务提供商提供的多个服务的访问。 如果不使用个人通信设备,则通过服务插座的接入点提供服务。

    Compiling memory dereferencing instructions from software to hardware in an electronic design
    2.
    发明授权
    Compiling memory dereferencing instructions from software to hardware in an electronic design 有权
    从电子设计的软件到硬件编译内存取消引用指令

    公开(公告)号:US07203912B2

    公开(公告)日:2007-04-10

    申请号:US10896431

    申请日:2004-07-21

    IPC分类号: G06F17/50

    CPC分类号: G06F17/505

    摘要: Electronic system functionality can be initially implemented as software code (e.g., in programming languages such as C, C++ or Pascal) and selectively converted to a hardware representation such as in hardware description language (e.g., VHDL, Verilog, HandelC, BachC, SpecC and System Verilog). In one aspect, software code representations comprising memory dereferencing operations (e.g., related to pointers, arrays and structs) may also be converted to a hardware representation. The newly converted hardware representation may be given control of a main communications network (e.g., system bus) of the electronic system to control the execution of the memory dereferencing operations (e.g., related to pointers, arrays and structs). In one embodiment, bus control may be via a bus control interface adapted for a particular kind of communications network (e.g., a processor bus, a system bus, a hierarchical bus, a cross bar, a multiplexer bus, a switch network and a point to point network). In another embodiment, a software memory dereferencer for executing memory dereferencing operations may be provided.

    摘要翻译: 电子系统功能可以最初实现为软件代码(例如,在诸如C,C ++或Pascal的编程语言中),并且选择性地转换为硬件表示,例如硬件描述语言(例如,VHDL,Verilog,HandelC,BachC,SpecC和 系统Verilog)。 在一个方面,包括存储器取消引用操作(例如,与指针,数组和结构相关)的软件代码表示也可以被转换为硬件表示。 新转换的硬件表示可以被给予电子系统的主要通信网络(例如,系统总线)的控制,以控制存储器解引用操作的执行(例如,与指针,数组和结构相关)。 在一个实施例中,总线控制可以经由适于特定类型的通信网络的总线控制接口(例如,处理器总线,系统总线,分层总线,交叉条,复用器总线,交换机网络和点 到点网络)。 在另一实施例中,可以提供用于执行存储器解引用操作的软件存储器解引用器。

    Methods and systems for secured access to devices and systems
    3.
    发明申请
    Methods and systems for secured access to devices and systems 有权
    用于安全访问设备和系统的方法和系统

    公开(公告)号:US20070241861A1

    公开(公告)日:2007-10-18

    申请号:US11406769

    申请日:2006-04-18

    IPC分类号: G06K9/00

    摘要: An access system in one embodiment that first determines that someone has correct credentials by using a non-biometric authentication method such as typing in a password, presenting a Smart card containing a cryptographic secret, or having a valid digital signature. Once the credentials are authenticated, then the user must take at least two biometric tests, which can be chosen randomly. In one approach, the biometric tests need only check a template generated from the user who desires access with the stored templates matching the holder of the credentials authenticated by the non-biometric test. Access desirably will be allowed when both biometric tests are passed.

    摘要翻译: 一个实施例中的访问系统首先通过使用诸如输入密码的非生物特征认证方法来确定某人具有正确的凭证,呈现包含加密秘密的智能卡或具有有效的数字签名。 一旦证书被认证,用户必须至少进行两次生物特征测试,可以随机选择。 在一种方法中,生物特征测试仅需检查使用存储的模板生成的用户希望访问的模板,该模板与通过非生物特征测试认证的凭据的持有者相匹配。 当两个生物特征测试通过时,都将允许访问。

    Methods and systems for secured access to devices and systems
    4.
    发明授权
    Methods and systems for secured access to devices and systems 有权
    用于安全访问设备和系统的方法和系统

    公开(公告)号:US07864987B2

    公开(公告)日:2011-01-04

    申请号:US11406769

    申请日:2006-04-18

    IPC分类号: G06K9/00

    摘要: An access system in one embodiment that first determines that someone has correct credentials by using a non-biometric authentication method such as typing in a password, presenting a Smart card containing a cryptographic secret, or having a valid digital signature. Once the credentials are authenticated, then the user must take at least two biometric tests, which can be chosen randomly. In one approach, the biometric tests need only check a template generated from the user who desires access with the stored templates matching the holder of the credentials authenticated by the non-biometric test. Access desirably will be allowed when both biometric tests are passed.

    摘要翻译: 一个实施例中的访问系统首先通过使用诸如输入密码的非生物特征认证方法来确定某人具有正确的凭证,呈现包含加密秘密的智能卡或具有有效的数字签名。 一旦证书被认证,用户必须至少进行两次生物特征测试,可以随机选择。 在一种方法中,生物特征测试仅需检查使用存储的模板生成的用户希望访问的模板,该模板与通过非生物特征测试认证的凭据的持有者相匹配。 当两个生物特征测试通过时,都将允许访问。

    Repartitioning performance estimation in a hardware-software system
    5.
    发明授权
    Repartitioning performance estimation in a hardware-software system 有权
    在硬件 - 软件系统中重新分配性能估计

    公开(公告)号:US06856951B2

    公开(公告)日:2005-02-15

    申请号:US10295193

    申请日:2002-11-15

    IPC分类号: G06F9/45 G06F9/455 G06F17/50

    摘要: A tool is described herein for optimizing the design of a hardware-software system. The tool allows a designer to evaluate the potential improvement in system performance that may be realized by moving selected software components of the system to a hardware implementation. In one aspect, the tool automatically generates a performance profile of an original form of the system. The performance profile of the original form of the system may be used to select software components of the system to be moved to hardware. In another aspect, the tool generates an estimated performance profile of a repartitioned form of the system by modifying the performance profile of the system. The estimated performance profile of the repartitioned system is compared to the performance profile of the original form of the system to verify benefits, if any, of repartitioning. Such verification is accomplished without the need to actually repartitioning the system or measuring the performance of the entire repartitioned system.

    摘要翻译: 这里描述了一种用于优化硬件 - 软件系统的设计的工具。 该工具允许设计人员通过将系统的选定软件组件移动到硬件实现来评估系统性能的潜在改进。 在一个方面,该工具自动生成系统的原始形式的性能配置文件。 系统原始形式的性能特征可用于选择要移动到硬件的系统的软件组件。 在另一方面,该工具通过修改系统的性能特征来生成重新分配的系统的性能轮廓。 将重新分配的系统的估计性能曲线与系统原始形式的性能曲线进行比较,以验证重新分配的利益(如果有的话)。 这种验证是在不需要实际重新分配系统或测量整个重新分配的系统的性能的情况下完成的。

    Compiling memory dereferencing instructions from software to hardware in an electronic design
    6.
    发明申请
    Compiling memory dereferencing instructions from software to hardware in an electronic design 有权
    从电子设计的软件到硬件编译内存取消引用指令

    公开(公告)号:US20060031791A1

    公开(公告)日:2006-02-09

    申请号:US10896431

    申请日:2004-07-21

    IPC分类号: G06F17/50

    CPC分类号: G06F17/505

    摘要: Electronic system functionality can be initially implemented as software code (e.g., in programming languages such as C, C++ or Pascal) and selectively converted to a hardware representation such as in hardware description language (e.g., VHDL, Verilog, HandelC, BachC, SpecC and System Verilog). In one aspect, software code representations comprising memory dereferencing operations (e.g., related to pointers, arrays and structs) may also be converted to a hardware representation. The newly converted hardware representation may be given control of a main communications network (e.g., system bus) of the electronic system to control the execution of the memory dereferencing operations (e.g., related to pointers, arrays and structs). In one embodiment, bus control may be via a bus control interface adapted for a particular kind of communications network (e.g., a processor bus, a system bus, a hierarchical bus, a cross bar, a multiplexer bus, a switch network and a point to point network). In another embodiment, a software memory dereferencer for executing memory dereferencing operations may be provided.

    摘要翻译: 电子系统功能可以最初实现为软件代码(例如,在诸如C,C ++或Pascal的编程语言中),并且选择性地转换为诸如硬件描述语言(例如,VHDL,Verilog,HandelC,BachC,SpecC和 系统Verilog)。 在一个方面,包括存储器取消引用操作(例如,与指针,数组和结构相关)的软件代码表示也可以被转换为硬件表示。 新转换的硬件表示可以被给予电子系统的主要通信网络(例如,系统总线)的控制,以控制存储器解引用操作的执行(例如,与指针,数组和结构相关)。 在一个实施例中,总线控制可以经由适于特定类型的通信网络的总线控制接口(例如,处理器总线,系统总线,分层总线,交叉条,复用器总线,交换机网络和点 到点网络)。 在另一实施例中,可以提供用于执行存储器解引用操作的软件存储器解引用器。

    Area optimization of hardware for algorithms by optimizing sizes of variables of the algorithm
    7.
    发明申请
    Area optimization of hardware for algorithms by optimizing sizes of variables of the algorithm 审中-公开
    通过优化算法变量的大小来优化算法的硬件

    公开(公告)号:US20060020574A1

    公开(公告)日:2006-01-26

    申请号:US10896630

    申请日:2004-07-21

    IPC分类号: G06F17/30

    摘要: Described herein are methods and systems for optimizing area related to hardware implementation of algorithms. The algorithms may be related to functionality of an embedded system, for instance. System functionality may be initially implemented in software and converted to hardware implementation. Prior to implementing system functionality in actual hardware, algorithms for selected system functionality or desirable all system functionality may be evaluated to determine values attained by selected variables or desirably all the variables comprised therein. In one embodiment, a probe may applied to the original software code to determine a maximum value and a minimum value corresponding to each of the variables of the algorithm (or at least one such variable) may be tracked across one or more invocations of functions (or other code components) of the algorithm comprising such variables. Based on such tracked values, a minimum size (e.g., in bit-width), for each of the variables, needed to express the various values attained by the variables may be determined. The original software code implementing system functionality may then be modified to declare or otherwise specify an optimal (e.g., the minimum bit-width needed to express values attained) bit-width, which can result in reduced area for a hardware implementation.

    摘要翻译: 这里描述了用于优化与算法的硬件实现相关的区域的方法和系统。 例如,算法可能与嵌入式系统的功能有关。 系统功能可以最初在软件中实现并转换成硬件实现。 在实际硬件中实现系统功能之前,可以对所选择的系统功能或期望的所有系统功能性的算法进行评估,以确定所选变量所获得的值,或期望所包含的所有变量。 在一个实施例中,可以将探测器应用于原始软件代码以确定对应于算法(或至少一个此类变量)中的每个变量的最大值,并且可以跨越一个或多个函数调用来跟踪最大值 或其他代码组件)。 基于这样的跟踪值,可以确定用于表示由变量获得的各种值所需的每个变量的最小大小(例如,位宽度)。 然后,可以修改原始软件代码实现系统功能以声明或以其他方式指定最佳(例如,表示获得的值所需的最小位宽)位宽度,这可能导致硬件实现的面积减小。