554 search results - page 59 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
ICCCN
2007
IEEE
13 years 11 months ago
2007
IEEE
Transport Control Protocol (TCP) has served as a reliable, self-regulated, and congestion tolerant transport protocol for many Internet applications. Relatively, limited knowledge ...
Publication
Resource-depletion attacks against IEEE 802.11 access points (APs) are commonly executed by flooding APs with fake authentication requests. Such attacks may exhaust an AP’s memor...
B
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
INFOCOM
2002
IEEE
14 years 21 days ago
2002
IEEE
IEEE 802.11 Medium Access Control(MAC) is proposed to support asynchronous and time bounded delivery of radio data packets in infrastructure and ad hoc networks. The basis of the I...
ICON
2007
IEEE
14 years 2 months ago
2007
IEEE
— Security is paramount in Mobile Ad-hoc Networks (MANET) as they are not conducive to centralized trusted authorities. Several solutions have been proposed MANET in the areas of...