1180 search results - page 48 / 236 » Interaction Protocols in Agentis |
104
Voted
JNW
2008
15 years 16 days ago
2008
Multi-path routing allows building and use of multiple paths for routing between a source-destination pair. This paper investigates the problem of selecting multiple routing paths ...
96
Voted
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
113
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
79
Voted
INDOCRYPT
2009
Springer
15 years 7 months ago
2009
Springer
This paper investigates a new family of RFID protocols called Ff that grew out of a proposal made at ESORICS 2007. This family has the property of having highly efficient implement...
JCS
2006
15 years 16 days ago
2006
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...