5374 search results - page 178 / 1075 » The induction of communication protocols |
142
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 25 days ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
136
click to vote
ISCC
2007
IEEE
16 years 25 days ago
2007
IEEE
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
169
click to vote
ISCC
2006
IEEE
16 years 17 days ago
2006
IEEE
Multipath routing protocols have proved to be able to enhance the performance of MANET in terms of reliability, load balancing, multimedia streaming, security, etc. However, deplo...
183
click to vote
PEWASUN
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we introduce a modified version of the IEEE 802.11a protocol and evaluate its performance. The new protocol is a combination of the standard Medium Access Control (...
162
click to vote
ISCC
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—The link layer of an optical direct-detection code-division multiple-access (CDMA) packet network is considered. Two different protocols that need pretransmission coordi...