1180 search results - page 67 / 236 » Interaction Protocols in Agentis |
116
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
117
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
100
Voted
EUROCRYPT
2006
Springer
15 years 4 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
129
click to vote
SIGCOMM
2012
ACM
13 years 3 months ago
2012
ACM
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
114
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
While a variety of mechanisms have been developed for securing individual intra-domain protocols, none address the issue in a holistic manner. We develop a unified framework to sec...