Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
Dynamic routing, if properly designed, can increase the throughput of a network. In this paper, we formulate a traffic model for multi-point videoconferencing in a VP-based ATM ne...
We proposea simple distance-vectorprotocolfor routingin networkshavingunidirectional links. The protocol can be seen as an adaptation for these networks of the strategy as used in...
Francis Chi-Moon Lau, Guihai Chen, Hao Huang, Li X...
With their increased power and versatility, today's computer networks are becoming used for an ever-growing number of diverse applications. Further, the networking structures...
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...