687 search results - page 10 / 138 » A Self-Policing Policy Language |
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
WPES
2004
ACM
14 years 1 months ago
2004
ACM
As computing becomes more ubiquitous and Internet use continues to rise, it is increasingly important for organizations to construct accurate and effective privacy policies that d...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Policy enforcement is an integral part of many applications. Policies are often used to control access to sensitive information. Current policy specification languages give users ...
POLICY
2004
Springer
14 years 1 months ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
CODES
2002
IEEE
14 years 18 days ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...