141 search results - page 12 / 29 » Composition and integrity preservation of secure reactive sy... |
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of re...
ENTCS
2008
13 years 7 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
ACNS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
ISW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...