Sri International

Bruno Dutertre

Patrick Denis Lincoln

Eric M Pearson

Susmit Jha

Huascar Sanchez

Ian A Mason

Richard Dean

Processing circuitry is configured to obtain a data structure that defines a plurality of conversions of data between pairs of fields; perform a search to identify a plurality of paths from a source node of the data structure to a destination node of the data structure, wherein the source node corresponds to a first field of the fields and the destination node corresponds to a second field of the fields; convert, for each path of the plurality of paths, transforms represented by corresponding edges of the path to a sequence of transforms that conform to a solver format; process the sequence of transforms for each path to determine whether all paths of the plurality of paths are equivalent up to an equivalence relation; and output an indication of whether all paths of the plurality of paths are equivalent up to an equivalence relation.

Multipath verification of data transforms in a system of systems

An application of intrusion tolerant concepts to a software infrastructure for supporting secure group applications. This application is suited for use with network layer protocols such as TBRPF and is particularly adapted for wireless networks, and more specifically mobile ad hoc networks.

Methods and apparatus for scalable distributed management of wireless virtual private networks

Growing community of inventors

Mountain View, CA, United States of America

Bruno Dutertre