-
公开(公告)号：CN104680075B
公开(公告)日：2018-10-30
申请号：CN201410694627.1
申请日：2014-11-27
Applicant: 通用汽车环球科技运作有限责任公司
IPC: G06F21/62
CPC classification number: G06F21/604 , G06F21/629 , G06F2221/2113
Abstract: 本发明涉及用于来自高级别应用程序许可的细粒度访问控制的框架。一种用于应用程序特征对移动计算装置上的资源的访问控制的方法。准备应用程序用于经由处理器而安装在移动计算装置上。识别与应用程序相关的应用程序许可。应用程序许可与对移动计算装置的资源的访问有关。确定与应用程序许可相关的限制。基于这些限制，定义用于应用程序许可的一组强制访问控制规则。将这组强制访问控制规则和应用程序许可合并入可加载强制访问控制策略模块中。将可加载强制访问控制策略模块存储在移动计算装置的存储器中，可加载强制访问控制策略模块能够由移动计算装置的操作系统强制执行。
-
公开(公告)号：CN102708223B
公开(公告)日：2015-01-14
申请号：CN201210078705.6
申请日：2012-03-22
Applicant: 通用汽车环球科技运作有限责任公司
IPC: G06F17/50
CPC classification number: G06F17/504
Abstract: 本发明涉及定时自动机轨迹中的不可行的识别的有效源。具体地，公开了一种用于验证被建模为定时自动机的实时系统性能的方法。系统的抽象模型依据初始线性时序逻辑规格被检查。如果发现通向不希望状态的路径，反例使用负循环检测被验证或使其无效。如果检测到负循环，进行优化来识别负循环中的最小不可行片段。然后规格被细化以消除最小不可行片段的使用，然后抽象模型依据被细化的规格被检查。
-
公开(公告)号：CN104680075A
公开(公告)日：2015-06-03
申请号：CN201410694627.1
申请日：2014-11-27
Applicant: 通用汽车环球科技运作有限责任公司
IPC: G06F21/62
CPC classification number: G06F21/604 , G06F21/629 , G06F2221/2113
Abstract: 本发明涉及用于来自高级别应用程序许可的细粒度访问控制的框架。一种用于应用程序特征对移动计算装置上的资源的访问控制的方法。准备应用程序用于经由处理器而安装在移动计算装置上。识别与应用程序相关的应用程序许可。应用程序许可与对移动计算装置的资源的访问有关。确定与应用程序许可相关的限制。基于这些限制，定义用于应用程序许可的一组强制访问控制规则。将这组强制访问控制规则和应用程序许可合并入可加载强制访问控制策略模块中。将可加载强制访问控制策略模块存储在移动计算装置的存储器中，可加载强制访问控制策略模块能够由移动计算装置的操作系统强制执行。
-
公开(公告)号：CN102708223A
公开(公告)日：2012-10-03
申请号：CN201210078705.6
申请日：2012-03-22
Applicant: 通用汽车环球科技运作有限责任公司
IPC: G06F17/50
CPC classification number: G06F17/504
Abstract: 本发明涉及定时自动机轨迹中的不可行的识别的有效源。具体地，公开了一种用于验证被建模为定时自动机的实时系统性能的方法。系统的抽象模型依据初始线性时序逻辑规格被检查。如果发现通向不希望状态的路径，反例使用负循环检测被验证或使其无效。如果检测到负循环，进行优化来识别负循环中的最小不可行片段。然后规格被细化以消除最小不可行片段的使用，然后抽象模型依据被细化的规格被检查。
-
-
-
Search Results
4
records
(took 0.024 seconds)
