718 search results - page 58 / 144 » Operational Semantics of Security Protocols |
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
NETWORKING
2008
13 years 9 months ago
2008
Abstract. All equipments attached to the Internet are configured with one or several IP addresses. Most hosts are able to automatically request (e.g., from a DHCP server) or discov...
CNSM
2010
13 years 5 months ago
2010
Over the last decade, IPv6 has established itself as the most mature network protocol for the future Internet. Its recent deployment in core networks of operators, its availability...
COORDINATION
2004
Springer
14 years 1 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
— Access control concerns in MANETs are very serious and considered as a crucial challenge for operators who prospects to employ unrivaled capabilities of such networks for diffe...