By Topic

IEEE Communications Surveys & Tutorials

Issue 1 • Date First Quarter 2002

Filter Results

Displaying Results 1 - 4 of 4
  • Formal methods for specification and analysis of communication protocols

    Publication Year: 2002, Page(s):2 - 20
    Cited by:  Papers (15)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (347 KB) | HTML iconHTML

    Formal methods (FM) are mathematically-based techniques that provide a rigorous basis for software development: the application of FMs makes it possible to achieve provable correctness and reliability in the various steps of system design and implementation. This article is a tutorial presentation of formal methods and description techniques that address modeling and analysis of distributed system... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multicasting in WDM networks

    Publication Year: 2002, Page(s):2 - 20
    Cited by:  Papers (29)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (194 KB) | HTML iconHTML

    Wavelength-division multiplexing (WDM) networks are believed to be a promising candidate to meet the explosive increase of bandwidth demand in the Internet. In this article, we survey the problems of and approaches to multicasting in WDM networks. In particular, we address the issues in the context of three types of WDM networks: broadcast-and-select, wavelength-routed, and optical burst-switched ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing wireless internet performance

    Publication Year: 2002, Page(s):2 - 15
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (185 KB) | HTML iconHTML

    This article surveys wireless Internet technologies whose goals are to enhance networking performance. These technologies are organized into seven categories: power saving, mobile performance, Multimedia Quality-of-Service, application performance, transport-layer characteristics, data-link layer, and non-TCP options. For each category, the main technical characteristics are outlined, the architec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building an integrated security gateway: Mechanisms, performance evaluations, implementations, and research issues

    Publication Year: 2002, Page(s):2 - 15
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB) | HTML iconHTML

    Network security has become a critical issue for enterprises. This article first gives a tutorial of each basic component of a security gateway, including the firewall, content filtering, network address translation (NAT), the virtual private network (VPN), and the intrusion detection system (IDS). The building of an integrated security gateway, using various open-source packages, is then describe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

IEEE Communications Surveys & Tutorials is an online journal published by the IEEE Communications Society for tutorials and surveys covering all aspects of the communications field. Telecommunications technology is progressing at a rapid pace, and the IEEE Communications Society is committed to providing researchers and other professionals the information and tools to stay abreast.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Ekram Hossain, Ph.D., P.Eng.
Professor
University of Manitoba