Search
 
loader loading subjects...
cover
Enforcing Security Policies Using Algebraic Approach
Mohamed Mejri, Hamido Fujita
84 - 98
10.3233/978-1-58603-916-5-84
Frontiers in Artificial Intelligence and Applications
Volume 182: New Trends in Software Methodologies, Tools and Techniques
Abstract

Given a program P and a security policy Φ, this paper gives an approach allowing to generate another program P′ that respects the policy Φ and behaves (with respect to trace equivalence) like P except that it stops when P try to execute an action that violate the security policy. The proposed approach transform the problem of finding P′ to solving linear systems under a given algebra and for which we know how to get the solution.

$35.00 / €27.50 / £22.00
Add PDF to cart