309 search results - page 25 / 62 » An Access-Control Framework for WS-BPEL |
ESORICS
2007
Springer
13 years 12 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
IJNSEC
2006
13 years 8 months ago
2006
Access control is an important issue in information security. It is a necessary mechanism for protecting data in a computer system. In this paper, we apply support vector machines...
WETICE
1997
IEEE
14 years 5 days ago
1997
IEEE
In this paper we want to share our experiences with implementing a scheme that enforces role based access control in a distributed, heterogeneous computing environment. This work ...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
In this paper we make a contribution to the proof and trust layer of the Semantic Web layer cake by integrating two well founded techniques, namely DAML-S (for describing Web serv...
ECSCW
2001
13 years 9 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...