Virtual network authentication service
The invention relates to a virtual network authentication service. A virtual network authentication service for a provider network that utilizes a declarative logical programming language to allow a client to propose a query about its virtual network as a constraint problem; the query may be parsed...
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Patent |
Sprache: | chi ; eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | The invention relates to a virtual network authentication service. A virtual network authentication service for a provider network that utilizes a declarative logical programming language to allow a client to propose a query about its virtual network as a constraint problem; the query may be parsed using a constraint solver engine. Semantics and logic of networking primitives for a virtual network in a provider network environment may be encoded into a set of rules according to the logical programming language; networking security criteria and/or client-defined rules may also be encoded in the rules. A description of a virtual network may be obtained and encoded. The constraint solver engine may then be used to parse a constraint problem expressed by a query for the encoded description according to an encoding rule; the results may be provided to the client.
本公开涉及虚拟网络验证服务。一种用于提供商网络的虚拟网络验证服务,其利用声明性逻辑编程语言以允许客户端提出关于其虚拟网络的查询作为约束问题;可以使用约束求解器引擎解析所述查询。用于提供商网络环境中的虚拟网络的联网原语的语义和逻辑可以根据所述逻辑编程语言被编码为一组规则;联网安全标准和/或客户端限定的规则也 |
---|