179 search results - page 11 / 36 » Security Policy Enforcement Through Refinement Process |
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
DSOM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The goal of ontology-based management is to improve the manageability of network resources through the application of formal ontologies. Prior research work has studied t...
IMCS
2007
13 years 7 months ago
2007
Setting up runtime security policies as required for firewalls or as envisioned by policy languages for the Semantic Web is a difficult task, especially for lay users who have l...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...