51 search results - page 9 / 11 » Distributed Policy Specification and Enforcement in Service-... |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
IEEESP
2007
13 years 8 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
CSCW
2010
ACM
14 years 5 months ago
2010
ACM
In this paper, we examine the social roles of software tools in the English-language Wikipedia, specifically focusing on autonomous editing programs and assisted editing tools. Th...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...