A report on reliable software and communication

We discuss the general state of affairs in a variety of related areas ranging from software safety, reliability and testing, protocol specification and verification, network congestion-control and reliability, to communication security and complexity. We intend to identify useful theory and tools, point out connections between different areas, and to a large extent, raise a number of questions whose answers may still lie far beyond the limits of our current knowledge. Some of these areas are still in a very primitive state and call for new ideas, bold approaches, radical thinking and perhaps extraordinary efforts.