14 search results - page 1 / 3 » Binder, a Logic-Based Security Language |
SP
2002
IEEE
13 years 4 months ago
2002
IEEE
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
GSEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper outlines an original Computational Grid deployment protocol which is entirely based on Java, leveraging the portability of this language for distributing custo...