718 search results - page 84 / 144 » Operational Semantics of Security Protocols |
108
Voted
CORR
2009
Springer
15 years 16 days ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
138
Voted
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
In this contribution a system is presented, which provides access to distributed data sources using Semantic Web technology. While it was primarily designed for data sharing and sc...
117
Voted
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating system or hard-disk. In addition to providing sta...
113
Voted
TC
2002
15 years 2 months ago
2002
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
155
Voted
ICN
2009
Springer
15 years 7 months ago
2009
Springer
Securing group communications in resource constrained, infrastructure-less environments such as Mobile Ad Hoc Networks (MANETs) has become one of the most challenging research dire...