852 search results - page 65 / 171 » Model-Checking Access Control Policies |
ICWS
2007
IEEE
13 years 11 months ago
2007
IEEE
Service matchmaking is an important process in the operation of Service-Oriented Architecture (SOA) based systems. In this process, information from both service providers and req...
RTCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
Large-scale distributed systems, such as ubiquitous computing environments, require a service delivery mechanism in order to keep track of the vast set of services offered and mak...
ICALP
2003
Springer
14 years 3 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
ACSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Semantic Web databases allow efficient storage and access to RDF statements. Applications are able to use expressive query languages in order to retrieve relevant metadata to perfo...