87 search results - page 10 / 18 » Information flow security for service compositions |
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
KIVS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Secure Content Addressable Network (SCAN) is an architecture for service discovery in service centric sensor networks that enables dynamic service composition. This paper...
IWCMC
2010
ACM
14 years 21 days ago
2010
ACM
We describe a general-purpose distributed system capable of traceback of malicious flow trajectories in the wide area despite possible source IP spoofing. Our system requires th...
SAS
2004
Springer
14 years 29 days ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...