8644 search results - page 185 / 1729 » On the Composition of Secure Systems |
178
click to vote
ICECCS
2005
IEEE
16 years 7 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
173
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
180
click to vote
ICECCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
165
click to vote
SRDS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...
167
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...