Issue 1 • Date First Quarter 2002
Cited by: Papers (15) | Patents (2)
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»
Cited by: Papers (29)
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»
Cited by: Papers (13)
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»
Building an integrated security gateway: Mechanisms, performance evaluations, implementations, and research issuesPublication Year: 2002, Page(s):2 - 15
Cited by: Papers (6)
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»
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.
Meet Our Editors
Ekram Hossain, Ph.D., P.Eng.
University of Manitoba