-
公开(公告)号:CN101297277A
公开(公告)日:2008-10-29
申请号:CN200680040117.6
申请日:2006-10-16
Applicant: 微软公司
Inventor: G·C·亨特 , J·R·劳瑞斯 , M·阿巴迪 , M·埃肯 , P·巴罕姆 , M·A·范德瑞 , C·霍伯利特泽 , O·霍德森 , S·列维 , N·墨菲 , B·斯汀斯嘉德 , D·泰迪蒂 , T·沃伯 , B·齐尔
Abstract: 此处描述了允许隔离进程(230、240和250)之间的静态可验证进程间通信的操作系统的一个或多个实现。而且,此处描述了促进具有进程间通信的静态可验证隔离进程的开发的编程工具的一个或多个实现。
-
公开(公告)号:CN101297280B
公开(公告)日:2013-03-27
申请号:CN200680040116.1
申请日:2006-10-16
Applicant: 微软公司
Inventor: G·C·亨特 , J·R·劳瑞斯 , M·A·范德瑞 , O·霍德森 , S·P·莱维 , B·斯汀斯嘉德 , D·R·泰迪蒂 , M·斯帕尔斯 , M·卡宾 , M·阿巴迪 , M·埃肯 , P·巴罕姆 , T·沃伯 , B·齐尔 , C·霍伯利特泽 , N·墨菲
Abstract: 本文中描述的是用于描述和/或解决软件系统的应用程序、扩展、设备驱动程序(300)和其它组件的配置要求的一个或多个实现。
-
公开(公告)号:CN104769913A
公开(公告)日:2015-07-08
申请号:CN201380058344.1
申请日:2013-11-07
Applicant: 微软公司
CPC classification number: H04W12/08 , H04B5/00 , H04W4/80 , H04W12/003 , H04W12/00508 , H04W12/0802 , H04W84/18 , H04W12/04
Abstract: 在此描述了解决了与访客对一场所处的资源的访问相关联的问题的一种资源访问系统,它通过使用NFC或碰撞作为快速认证过程来授予满足诸如维持链接的策略条件的对资源的持久访客权限。该系统提供了一种用于通过分派带有相关联的策略的持久链接来向到访新场所的启用NFC/碰撞的访客授予访问权的设施。该系统允许启用碰撞/NFC的设备用邻近的本地资源来认证,并向到访设备授权。这个动作证实要被授权的设备物理地处于该资源的场所,并且不涉及与用户进行任何代码或用户信息交换。这样,资源访问系统使用NFC和类似近场通信技术提供访客对场所资源的访问的简化设置。
-
公开(公告)号:CN101297277B
公开(公告)日:2012-07-04
申请号:CN200680040117.6
申请日:2006-10-16
Applicant: 微软公司
Inventor: G·C·亨特 , J·R·劳瑞斯 , M·阿巴迪 , M·埃肯 , P·巴罕姆 , M·A·范德瑞 , C·霍伯利特泽 , O·霍德森 , S·列维 , N·墨菲 , B·斯汀斯嘉德 , D·泰迪蒂 , T·沃伯 , B·齐尔
Abstract: 此处描述了允许隔离进程(230、240和250)之间的静态可验证进程间通信的操作系统的一个或多个实现。而且,此处描述了促进具有进程间通信的静态可验证隔离进程的开发的编程工具的一个或多个实现。
-
公开(公告)号:CN101297280A
公开(公告)日:2008-10-29
申请号:CN200680040116.1
申请日:2006-10-16
Applicant: 微软公司
Inventor: G·C·亨特 , J·R·劳瑞斯 , M·A·范德瑞 , O·霍德森 , S·P·莱维 , B·斯汀斯嘉德 , D·R·泰迪蒂 , M·斯帕尔斯 , M·卡宾 , M·阿巴迪 , M·埃肯 , P·巴罕姆 , T·沃伯 , B·齐尔 , C·霍伯利特泽 , N·墨菲
Abstract: 本文中描述的是用于描述和/或解决软件系统的应用程序、扩展、设备驱动程序(300)和其它组件的配置要求的一个或多个实现。
-
-
-
-