Oracle International Corporation

National Ict Australia Limited

Marius Portmann

Padmanabhan Krishnan

Nathan Robert Albert Keynes

Henry John O'Brien

Asad Amir Pirzada

A method may include receiving a network schema including switches, links connecting the switches, and a topology that maps the switches to the links. The switches may include ports. The method may further include receiving a software defined networking (SDN) policy including a function that modifies a state of a packet entering a switch, converting the topology to a graph including nodes corresponding to the switches, while searching the graph, determining, according to the function, whether a port of a switch corresponding to a node is reachable by the packet entering the switch, and in response to searching the graph, verifying a property of the SDN policy.

Verification of software-defined networking (SDN) policies for specific topologies

An extension to reactive ad-hoc routing protocols in multi-hop wireless mesh networks. The protocol discovers bi-directional links during route establishment, particularly multiple links between a single pair of nodes. Source and intermediate nodes transmit a route request, at least one of the nodes transmitting the route request on more than one wireless interface. Upon receiving a route request, each node creates at least one reverse link to the node from which the route request was received. The destination and intermediate nodes transmit, via at least one of the reverse links, at least one route reply which enables a node receiving the route reply to identify one or more wireless interfaces of the node transmitting the route reply. Upon receiving a route reply, each node creates at least one forward link to the node from which the route reply was received. Routes may then be established using any discovered bidirectional link.

Growing community of inventors

Underwood, Australia

Marius Portmann