3420 search results - page 225 / 684 » A Language-Based Approach to Security |
147
click to vote
SAFECOMP
2007
Springer
15 years 11 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
161
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— Numerous proposals exist for load balancing in peer-to-peer (p2p) networks. Some focus on namespace balancing, making the distance between nodes as uniform as possible. This te...
159
click to vote
EDCC
2005
Springer
15 years 10 months ago
2005
Springer
The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. In modern variants of such systems, each party is equipped with a security mo...
164
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
Distance vector routing protocols (e.g., RIP) have been widely used on the Internet, and are being adapted to emerging wireless ad hoc networks. However, it is well-known that exis...
168
click to vote
OTM
2004
Springer
15 years 10 months ago
2004
Springer
As Grid technology evolves it is becoming evident that the inclusion of mobile devices in a Grid environment will benefit both the Grid and mobile network communities. Many mobile...