1288 search results - page 36 / 258 » Securing aspect composition |
CSFW
2007
IEEE
14 years 3 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
ICUMT
2009
13 years 6 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
IANDC
2008
13 years 9 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
AISS
2010
13 years 6 months ago
2010
Web services technologies change the software industry drastically by developing and integrating enterprise web services and applications in order to enable the users to access th...
LCN
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose a novel framework for secure multicast on overlay networks. Our contributions are threefold: 1) a technique key composition is proposed to cope with the ...