-
公开(公告)号：CN118120204A
公开(公告)日：2024-05-31
申请号：CN202280070368.8
申请日：2022-08-06
Applicant: 微软技术许可有限责任公司
IPC: H04L41/0873 , H04L41/0866
Abstract: 本文中公开了网络配置验证技术。一个示例过程包括：在接收到用于确定虚拟网络中来自第一端点的分组是否可到达第二端点的查询之后，在网络图中标识第一端点与第二端点之间的网络路径。网络图具有表示虚拟网络中的网络策略的对应实施点的节点和连接节点对的边。该示例过程还可以包括生成复合函数，该复合函数表示在网络图中沿着所标识的网络路径的节点中的每个节点处的网络策略的联合个体约束，将生成的复合函数编译成布尔公式，以及求解经编译的布尔公式以确定是否存在到分组的分组字段的值的分配使得复合函数的所有联合个体约束可以被满足。
Search Results
1
records
(took 0.023 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
