-
公开(公告)号：CN101535948A
公开(公告)日：2009-09-16
申请号：CN200780040981.0
申请日：2007-11-01
Applicant: 微软公司
Inventor： B·B·迪拉韦
CPC classification number: G06F21/6218 , G06F2221/2141 , H04L63/10 , H04L63/12 , H04L67/10
Abstract: 在一示例实现中，数据结构遵循安全应用指令协议。该数据结构包括第一应用级请求和第二应用级请求。第一应用级请求具有来自请求者的应用程序专用指令和覆盖在该来自请求者的应用程序专用指令上的请求者签名。第二应用级请求具有来自中介的应用程序专用指令和覆盖在至少该来自中介的应用程序专用指令上的中介签名。
-
公开(公告)号：CN102176226B
公开(公告)日：2013-02-13
申请号：CN201110162110.4
申请日：2007-09-05
Applicant: 微软公司
IPC: G06F21/62
CPC classification number: G06F21/6218
Abstract: 在一示例实现中，一分支安全方案具有不允许使用否定的第一层和允许使用否定的第二层。在另一示例实现中，一授权查询表将各个资源专用操作映射到相应的相关联授权查询。在又一示例实现中，允许授权查询具有否定，但不允许个别断言具有否定。
-
公开(公告)号：CN101512504B
公开(公告)日：2011-08-03
申请号：CN200780033322.4
申请日：2007-09-05
Applicant: 微软公司
CPC classification number: G06F21/6218
Abstract: 在一示例实现中，一分支安全方案具有不允许使用否定的第一层和允许使用否定的第二层。在另一示例实现中，一授权查询表将各个资源专用操作映射到相应的相关联授权查询。在又一示例实现中，允许授权查询具有否定，但不允许个别断言具有否定。
-
公开(公告)号：CN101512505B
公开(公告)日：2011-09-07
申请号：CN200780033329.6
申请日：2007-09-10
Applicant: 微软公司
IPC: G06F15/00
CPC classification number: H04L63/20 , G06F21/36 , G06F21/6236 , G06F2221/2141
Abstract: 安全语言构造可被转换成逻辑语言构造，反之亦然。逻辑消解可例如使用逻辑语言构造来实现。在一示例实现中，描述了将安全语言断言转换成至少一个逻辑语言规则。在另一示例实现中，描述了将反映一逻辑语言的证明图转换成反映一安全语言的证明图。在又一示例实现中，描述了使用确定性算法对逻辑语言程序的求值。
-
Patent Agency Ranking
公开(公告)号：CN101512962A
公开(公告)日：2009-08-19
申请号：CN200780033359.7
申请日：2007-09-07
Applicant: 微软公司
CPC classification number: G06F21/62 , G06F2221/2145
Abstract: 权限的委托可按照多种方式来控制。在一示例实现中，委托授权机构断言是用委托方主体、被委托方主体、动词短语、资源和委托指示动词来制定的。在另一示例实现中，涉及断言者、第一主体和第二主体的委托机制使委托能被具体控制。在又一示例实现中，连锁委托机制允许对许可的传递链接深度的显式控制。
-
公开(公告)号：CN101512504A
公开(公告)日：2009-08-19
申请号：CN200780033322.4
申请日：2007-09-05
Applicant: 微软公司
CPC classification number: G06F21/6218
Abstract: 在一示例实现中，一分支安全方案具有不允许使用否定的第一层和允许使用否定的第二层。在另一示例实现中，一授权查询表将各个资源专用操作映射到相应的相关联授权查询。在又一示例实现中，允许授权查询具有否定，但不允许个别断言具有否定。
-
公开(公告)号：CN101535948B
公开(公告)日：2012-12-26
申请号：CN200780040981.0
申请日：2007-11-01
Applicant: 微软公司
Inventor： B·B·迪拉韦
CPC classification number: G06F21/6218 , G06F2221/2141 , H04L63/10 , H04L63/12 , H04L67/10
Abstract: 在一示例实现中，数据结构遵循安全应用指令协议。该数据结构包括第一应用级请求和第二应用级请求。第一应用级请求具有来自请求者的应用程序专用指令和覆盖在该来自请求者的应用程序专用指令上的请求者签名。第二应用级请求具有来自中介的应用程序专用指令和覆盖在至少该来自中介的应用程序专用指令上的中介签名。
-
公开(公告)号：CN102176226A
公开(公告)日：2011-09-07
申请号：CN201110162110.4
申请日：2007-09-05
Applicant: 微软公司
IPC: G06F21/00
CPC classification number: G06F21/6218
Abstract: 在一示例实现中，一分支安全方案具有不允许使用否定的第一层和允许使用否定的第二层。在另一示例实现中，一授权查询表将各个资源专用操作映射到相应的相关联授权查询。在又一示例实现中，允许授权查询具有否定，但不允许个别断言具有否定。
-
公开(公告)号：CN101512505A
公开(公告)日：2009-08-19
申请号：CN200780033329.6
申请日：2007-09-10
Applicant: 微软公司
IPC: G06F15/00
CPC classification number: H04L63/20 , G06F21/36 , G06F21/6236 , G06F2221/2141
Abstract: 安全语言构造可被转换成逻辑语言构造，反之亦然。逻辑消解可例如使用逻辑语言构造来实现。在一示例实现中，描述了将安全语言断言转换成至少一个逻辑语言规则。在另一示例实现中，描述了将反映一逻辑语言的证明图转换成反映一安全语言的证明图。在又一示例实现中，描述了使用确定性算法对逻辑语言程序的求值。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.02 seconds)
