687 search results - page 82 / 138 » A Self-Policing Policy Language |
108
Voted
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
113
Voted
CCS
2007
ACM
15 years 8 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, ...
120
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
86
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
121
Voted
SAINT
2006
IEEE
15 years 7 months ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...