Software Verification of Dynamically Generated Code

    公开(公告)号:US20220138313A1

    公开(公告)日:2022-05-05

    申请号:US17348576

    申请日:2021-06-15

    Applicant: Apple Inc.

    Abstract: In an embodiment, dynamically-generated code may be supported in the system by ensuring that the code either remains executing within a predefined region of memory or exits to one of a set of valid exit addresses. Software embodiments are described in which the dynamically-generated code is scanned prior to permitting execution of the dynamically-generated code to ensure that various criteria are met including exclusion of certain disallowed instructions and control of branch target addresses. Hardware embodiments are described in which the dynamically-generated code is permitted to executed but is monitored to ensure that the execution criteria are met.

    Method for validating dynamically loaded libraries using team identifiers
    25.
    发明授权
    Method for validating dynamically loaded libraries using team identifiers 有权
    使用团队标识符来验证动态加载的库的方法

    公开(公告)号:US09536080B2

    公开(公告)日:2017-01-03

    申请号:US14726292

    申请日:2015-05-29

    Applicant: Apple Inc.

    CPC classification number: G06F21/52 G06F21/51 G06F21/64 G06F2221/033

    Abstract: According to one embodiment, in response to a request received from an application by a launch module hosted by an operating system and executed by a processor to dynamically load a library, a library validation module hosted by the operating system extracts a first team identifier (ID) from the application, where the first team ID identifies an application provider that provides the application. The library validation module extracts a second team ID from the library, where the second team ID identifies a library provider that provides the library. The first team ID and the second team ID are compared to determine whether the first team ID matches the second team ID. In response to determining that the first team ID matches the second team ID, the launch module launches the library to allow the application communicate with the library; otherwise, the request is denied.

    Abstract translation: 根据一个实施例,响应于由操作系统托管并由处理器执行并由处理器执行以动态加载库的从应用程序接收到的请求,由操作系统托管的库验证模块提取第一团队标识符(ID ),其中第一个团队ID标识提供应用程序的应用程序提供程序。 库验证模块从库中提取第二个团队ID,其中第二个团队ID标识提供该库的库提供程序。 比较第一个团队ID和第二个团队ID,以确定第一个团队ID是否与第二个团队ID相匹配。 为了响应确定第一个团队ID与第二个团队ID相匹配,启动模块启动该库以允许应用程序与库通信; 否则,请求被拒绝。

    METHOD FOR MANAGING SECURITY OF A DATA PROCESSING SYSTEM WITH CONFIGURABLE SECURITY RESTRICTIONS
    26.
    发明申请
    METHOD FOR MANAGING SECURITY OF A DATA PROCESSING SYSTEM WITH CONFIGURABLE SECURITY RESTRICTIONS 有权
    用于管理具有可配置的安全限制的数据处理系统的安全性的方法

    公开(公告)号:US20150347741A1

    公开(公告)日:2015-12-03

    申请号:US14292711

    申请日:2014-05-30

    Applicant: Apple Inc.

    CPC classification number: G06F21/32 G06F2221/2133

    Abstract: Techniques for managing security of a data processing system are described herein. According to one embodiment, in response to a request for modifying a security settings of a data processing system, a message is displayed on a display of the data processing system to request a user who operates the data processing system to perform a physical action to prove that the user was physically present to issue the request for modifying the security settings. It is verified whether a user action physically performed by the user conforms to the requested physical action. The security settings of the data processing system is modified, in response to determining that the user action conforms to the requested physical action.

    Abstract translation: 本文描述了用于管理数据处理系统的安全性的技术。 根据一个实施例,响应于修改数据处理系统的安全设置的请求,在数据处理系统的显示器上显示消息以请求操作数据处理系统的用户执行物理动作以证明 用户实际存在以发出修改安全设置的请求。 验证用户物理地执行的用户动作是否符合所请求的物理动作。 响应于确定用户动作符合所请求的物理动作,修改数据处理系统的安全设置。

    Methods for managing authority designation of graphical user interfaces
    27.
    发明授权
    Methods for managing authority designation of graphical user interfaces 有权
    用于管理图形用户界面的权限指定的方法

    公开(公告)号:US09003427B2

    公开(公告)日:2015-04-07

    申请号:US14273309

    申请日:2014-05-08

    Applicant: Apple Inc.

    Abstract: According to one aspect, a graphics management system receives a first message from a first process for granting one or more rights to a second process for accessing a GUI element owned by the first process. In response, the graphics management system transmits a second message to the second process, the second message offering the one or more rights to the second process. The graphics management system receives a third message from the second process indicating an acceptance of the offer. Thereafter, the graphics management system restricts access of the GUI element by the second process based on the one or more rights accepted by the second process.

    Abstract translation: 根据一个方面,图形管理系统从第一进程接收第一消息,用于向用于访问由第一进程所拥有的GUI元素的第二进程授予一个或多个权限。 作为响应,图形管理系统向第二进程发送第二消息,第二消息向第二进程提供一个或多个权限。 图形管理系统从第二进程接收到第三个消息,指示接受该要约。 此后,图形管理系统基于第二处理所接受的一个或多个权限,限制GUI元素的访问。

    DYNAMIC SERVICE DISCOVERY
    28.
    发明申请
    DYNAMIC SERVICE DISCOVERY 审中-公开
    动态服务发现

    公开(公告)号:US20140229958A1

    公开(公告)日:2014-08-14

    申请号:US14179966

    申请日:2014-02-13

    Applicant: Apple Inc.

    Abstract: When an application is launched, a framework scanning module scans a plurality of frameworks linked against by the application to generate a list of available services. When the application makes a request of a particular service, a service verification module compares the requested service to the list of available services and if the requested service is found in the list of available services, sends a signal to the application, the signal allowing access to the requested service for the application. Otherwise, access to the requested service is denied.

    Abstract translation: 当启动应用程序时,框架扫描模块扫描由应用程序链接的多个框架以生成可用服务的列表。 当应用程序请求特定服务时,服务验证模块将所请求的服务与可用服务的列表进行比较,并且如果在可用服务的列表中找到所请求的服务,则向应用发送信号,允许访问的信号 到应用程序的请求服务。 否则,拒绝对请求的服务的访问。

    METHODS FOR MANAGING AUTHORITY DESIGNATION OF GRAPHICAL USER INTERFACES
    29.
    发明申请
    METHODS FOR MANAGING AUTHORITY DESIGNATION OF GRAPHICAL USER INTERFACES 有权
    管理图形用户界面的授权方法

    公开(公告)号:US20130139064A1

    公开(公告)日:2013-05-30

    申请号:US13748145

    申请日:2013-01-23

    Applicant: Apple Inc.

    Abstract: According to one aspect, a graphics management system receives a first message from a first process for granting one or more rights to a second process for accessing a GUI element owned by the first process. In response, the graphics management system transmits a second message to the second process, the second message offering the one or more rights to the second process. The graphics management system receives a third message from the second process indicating an acceptance of the offer. Thereafter, the graphics management system restricts access of the GUI element by the second process based on the one or more rights accepted by the second process.

    Abstract translation: 根据一个方面,图形管理系统从第一进程接收第一消息,用于向用于访问由第一进程所拥有的GUI元素的第二进程授予一个或多个权限。 作为响应,图形管理系统向第二进程发送第二消息,第二消息向第二进程提供一个或多个权限。 图形管理系统从第二进程接收到第三个消息,指示接受该要约。 此后,图形管理系统基于第二处理所接受的一个或多个权限,限制GUI元素的访问。

Patent Agency Ranking