CPC H04L 63/1433 (2013.01) [H04L 41/0866 (2013.01); H04L 41/12 (2013.01); H04L 41/22 (2013.01); H04L 43/06 (2013.01); H04L 63/0272 (2013.01); H04L 63/1441 (2013.01)] | 20 Claims |
1. A system, comprising:
one or more computing devices configured to implement a network security evaluator, wherein the network security evaluator is configured to:
receive a query concerning a virtual network from a client;
obtain descriptive information concerning the virtual network;
encode the descriptive information concerning the virtual network as an encoded description of the virtual network;
resolve the query for the encoded description of the virtual network according to virtual network rules using a constraint solver engine; and
provide results of the query resolution to the client.
|