554 search results - page 34 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
JAR
2008
13 years 7 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
JUCS
2006
13 years 7 months ago
2006
Abstract: In ad-hoc networks, mobile devices communicate via wireless links without the aid of any fixed networking infrastructure. These devices must be able to discover services ...
INFOCOM
2002
IEEE
14 years 20 days ago
2002
IEEE
Forcing all IP packets to carry correct source addresses can greatly help network security, attack tracing, and network problem debugging. However, due to asymmetries in toda...
ICNP
2007
IEEE
14 years 2 months ago
2007
IEEE
The current Internet addressing architecture does not verify the source address of a packet received and forwarded. This causes serious security and accounting problems. Based on t...
WISTP
2007
Springer
14 years 1 months ago
2007
Springer
Wireless Sensor Networks (WSN) security is an important issue which has been investigated by researchers for few years. The most fundamental security problem in WSN is key manageme...