Securities Technology Monitor has a short list of risk questions for financial firms who are considering the cloud. Spoiler alert, they provide a list of eight:
Who Will Have Access to Your Data?
Will the Regulators Approve?
Where Will My Data Be?
How Will My It Be Kept Separate?
How Will It Be Brought Back?
What If Your Service Provider Goes Out of Business?
What Financial Applications Can Be Safely Put into the Cloud?
What About Executing Trades?
No surprises, except maybe for the fact that it’s a mixed bag of questions and they have no regulators listed in their sources of information.
We introduce the concept of a security language, used to express security statements in a distributed system. Most existing security languages encode security statements as schematized data structures, such as ACLs and X.509 certificates. In contrast, Binder is an open logic-based security language that encodes security statements as components of communicating distributed logic programs.
Soutei brings Binder from a research prototype into the real world. Supporting large, truly distributed policies required non-trivial changes to Binder, in particular mode-restriction and goal-directed top-down evaluation. To improve the robustness of our evaluator, we describe a fair and terminating backtracking algorithm.