A constraint solver, then, tries to finds a solution that satisfies all the constraints that are imposed. Galois has the technology to employ various constraint solvers and develop others on demand for handling complex interactions between pieces of problems to come up with viable solutions. And whenever there is communication, security becomes a concern. No eavesdropping, no contention. Cryptography is the art of secretly communicating over insecure channels.
Security is guaranteed by sending enciphered messages.
Galois has great experience with cryptographic techniques and has the technology to add secure communication features to software projects. Erlang has been successfully used for implementing very large scale, real-time, concurrent, industrial applications. Check out this page for a brief summary of how Erlang fits into the real-world. The Kleisli Query System is a system designed for the broad-scale integration problems. The design of Kleisli is geared towards applications that require access of data sources that are highly heterogeneous, geographically scattered, constantly evolving, and high in volume.