Sciweavers

226 search results - page 9 / 46
» Formal Verification of a Multicast Protocol In Mobile Networ...
Sort
View
ADHOC
2004
134views more  ADHOC 2004»
13 years 8 months ago
Scalable team multicast in wireless ad hoc networks exploiting coordinated motion
In this paper, we study a new multicast paradigm for large scale mobile ad hoc networks, namely team multicast. In team multicast the multicast group does not consist of individua...
Yunjung Yi, Mario Gerla, Katia Obraczka
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
14 years 18 days ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
AINA
2004
IEEE
14 years 10 days ago
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
Il-Gon Kim, Jin-Young Choi
ICWMC
2006
IEEE
14 years 2 months ago
Localized Tree Change Multicast Protocol for Mobile Ad Hoc Networks
T. Srinivasan, Chandrasekar Ramachandran, Vivek Vi...
CONEXT
2007
ACM
14 years 16 days ago
Backpressure multicast congestion control in mobile ad-hoc networks
In mobile ad-hoc networks, the multicast paradigm is of central importance. It can help to save scarce medium bandwidth if packets are to be delivered to multiple destinations. We...
Björn Scheuermann, Matthias Transier, Christi...