公开(公告)号：CN105283853A

公开(公告)日：2016-01-27

申请号：CN201480026218.2

申请日：2014-05-08

Applicant: 微软技术许可有限责任公司

Inventor： M·范德瑞 ,  S·拉希瑞 ,  F·洛戈佐 ,  S·布莱克谢尔

IPC: G06F11/36

CPC classification number: G06F8/71 ,  G06F8/75 ,  G06F11/3608

Abstract: 本文描述了涉及制定语义基线的各技术。基于对基线程序进行的第一静态分析推断出基线程序的正确性条件。随后将这些正确性条件插入到对基线程序的修订中。当对其中插入有正确性条件的经修订程序进行第二静态分析时，抑制从基线程序继承的警告，同时向开发者显露由这些修订引起的警告。

公开(公告)号：CN108702390A

公开(公告)日：2018-10-23

申请号：CN201780012111.6

申请日：2017-02-09

Applicant: 微软技术许可有限责任公司

Inventor： T·艾哈迈德 ,  P·J·考夫曼 ,  S·拉希瑞 ,  J·C·斯佩斯 ,  J·万苏徳范 ,  D·E·弗兰根

IPC: H04L29/08 ,  H04L12/24 ,  H04W4/00

CPC classification number: G06F9/44505 ,  H04L41/0213 ,  H04L41/0853 ,  H04L41/0876 ,  H04L41/0893 ,  H04L67/34 ,  H04W4/50 ,  H04W12/0027

Abstract: 配置控制权转移(“CCT”)系统控制着将设备的配置信息的控制权从当前配置源转移到目标配置源。CCT系统的CCT服务器可向设备发送请求设备的配置信息的消息。作为响应，CCT系统的CCT客户端收集设备的配置信息，并将所收集的配置信息发送给CCT服务器。如果第二配置源可支持当前配置源的配置信息，则CCT服务器请求设备将配置信息的控制权从当前配置源转移到目标配置源。CCT客户端接着将配置信息的控制权转移到作为新的当前配置源的目标配置源，并将设备从前一个当前配置源处取消登记。

公开(公告)号：CN105283853B

公开(公告)日：2018-08-07

申请号：CN201480026218.2

申请日：2014-05-08

Applicant: 微软技术许可有限责任公司

Inventor： M·范德瑞 ,  S·拉希瑞 ,  F·洛戈佐 ,  S·布莱克谢尔

IPC: G06F11/36

CPC classification number: G06F8/71 ,  G06F8/75 ,  G06F11/3608

Abstract: 本文描述了涉及制定语义基线的各技术。基于对基线程序进行的第静态分析推断出基线程序的正确性条件。随后将这些正确性条件插入到对基线程序的修订中。当对其中插入有正确性条件的经修订程序进行第二静态分析时,抑制从基线程序继承的警告,同时向开发者显露由这些修订引起的警告。

公开(公告)号：CN108702390B

公开(公告)日：2021-08-24

申请号：CN201780012111.6

申请日：2017-02-09

Applicant: 微软技术许可有限责任公司

Inventor： T·艾哈迈德 ,  P·J·考夫曼 ,  S·拉希瑞 ,  J·C·斯佩斯 ,  J·万苏徳范 ,  D·E·弗兰根

IPC: H04L29/08 ,  H04L12/24

Abstract: 配置控制权转移(“CCT”)系统控制着将设备的配置信息的控制权从当前配置源转移到目标配置源。CCT系统的CCT服务器可向设备发送请求设备的配置信息的消息。作为响应，CCT系统的CCT客户端收集设备的配置信息，并将所收集的配置信息发送给CCT服务器。如果第二配置源可支持当前配置源的配置信息，则CCT服务器请求设备将配置信息的控制权从当前配置源转移到目标配置源。CCT客户端接着将配置信息的控制权转移到作为新的当前配置源的目标配置源，并将设备从前一个当前配置源处取消登记。