Information Flow Security for Asynchronous, Distributed, and Mobile Applications

摘要: The objective for this work is to propose a security solution regulate information flows, specifically through an access and flow control mechanism, targeted distributed applications using active objects with asynchronous communications. It includes policy the mechanism that will enforce rules present in such policies. Data confidentiality secure flows provided dynamic checks While are generally verified statically, our attention focused on verifications. To achieve it, proposed model has discretionary rules, because these by nature dynamically enforceable, it possible take advantage of carry out at same time all mandatory checks. As another approach, do not require modify compilers, alter programming language, modifications existing source codes, provide flexibility run-time. Thus, fit well middleware layer which, non-intrusive manner, provides ensures services upper-level applications. underlying based objects, communications, data-flow synchronizations.