16 search results - page 4 / 4 » Separation Logic Adapted for Proofs by Rewriting |
ICST
2009
IEEE
14 years 12 days ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...