80 search results - page 11 / 16 » Flow-sensitive semantics for dynamic information flow polici... |
120
click to vote
MSCS
2006
14 years 11 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
108
click to vote
GRID
2007
Springer
15 years 5 months ago
2007
Springer
— We describe an information service that aggregates metadata available in hundreds of information sources of the EGEE Grid infrastructure. It uses an ontology-based information ...
111
click to vote
ENTCS
2007
14 years 11 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
ESORICS
2000
Springer
15 years 3 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
As enterprises seek to engage in increasingly rich and agile forms of collaboration, they are turning towards service-oriented architectures that enable them to selectively expose...