330 search results - page 30 / 66 » A Policy Language for Integrating Heterogeneous Authorizatio... |
126
click to vote
ESOP
2010
Springer
15 years 5 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
CSSE
2004
IEEE
15 years 1 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
110
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
115
click to vote
SP
2002
IEEE
15 years 1 months ago
2002
IEEE
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
103
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...