379 search results - page 3 / 76 » The Need for Declarative Security Mechanisms |
ICLP
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
The Grid and agent communities both develop concepts and mechanisms for open distributed systems, albeit from different perspectives. The Grid community has historically focused o...
ICDE
2008
IEEE
14 years 5 days ago
2008
IEEE
Network accountability and forensic analysis have become increasingly important, as a means of performing network diagnostics, identifying malicious nodes, enforcing trust managem...
TACAS
1999
Springer
13 years 10 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
ESORICS
2000
Springer
13 years 9 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...