会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Access unit switching through physical mediation
    • 接入单元通过物理中介切换
    • US08146138B2
    • 2012-03-27
    • US11275146
    • 2005-12-15
    • Yuqun ChenMarcus Peinado
    • Yuqun ChenMarcus Peinado
    • G06F21/00
    • G06F21/57G06F21/53G06F21/629
    • A plurality of access units may be established with varying levels of privilege and access rights, such that the user may perform tasks carrying with them a high risk of viral infection in an access unit with a low level of privilege and access rights. When an authenticated user desires to perform tasks requiring a higher level of privilege and access rights, the user may switch to an access unit having a higher privilege and access rights level by instigating a physical action. The physical action may include selecting a button (included in either a UI or on a peripheral device), or inputting biometric data to switch among running access units. A signal instigated by the physical action is transmitted along a trusted path between the isolation kernel and where the physical action was instigated.
    • 可以建立具有不同级别的特权和访问权限的多个访问单元,使得用户可以执行具有低级特权和访问权限的访问单元中病毒感染的高风险的任务。 当认证用户希望执行需要更高级别的特权和访问权限的任务时,用户可以通过煽动身体动作来切换到具有较高特权和访问权限级别的访问单元。 物理动作可以包括选择按钮(包括在UI中或在外围设备上),或者输入生物测定数据以在运行的访问单元之间切换。 通过物理动作引发的信号沿着隔离核心之间的信任路径传输,并且物理作用被引发。
    • 7. 发明授权
    • Determining target types for generic pointers in source code
    • 确定源代码中通用指针的目标类型
    • US09329845B2
    • 2016-05-03
    • US12477954
    • 2009-06-04
    • Weidong CuiMarcus Peinado
    • Weidong CuiMarcus Peinado
    • G06F9/45
    • G06F8/434
    • A system described herein includes a receiver component that receives source code from a computer-readable medium of a computing device and a static analysis component that executes a points-to analysis algorithm over the source code to cause generation of a points-to graph, wherein the points-to graph is a directed graph that comprises a plurality of nodes and a plurality of edges, wherein nodes of the points-to graph represent pointers in the source code and edges represent inclusion relationships in the source code. The system also includes an inference component that infers target types for generic pointers in the source code based at least in part upon known type definitions and global variables in the source code.
    • 本文描述的系统包括从计算设备的计算机可读介质接收源代码的接收器组件和在源代码上执行点对分析算法以产生点对图的静态分析组件,其中 点对图是包括多个节点和多个边缘的有向图,其中点对图的节点表示源代码中的指针,边缘表示源代码中的包含关系。 该系统还包括至少部分地基于源代码中的已知类型定义和全局变量来推断源代码中的通用指针的目标类型的推理组件。