The Border Gateway Protocol (BGP) is a fundamental building block of the Internet infrastructure. However, due to the implicit trust assumption among networks, Internet routing re...
Ying Zhang, Zheng Zhang, Zhuoqing Morley Mao, Y. C...
Abstract. On the inter-domain Internet today, the address preï¬x origin in our BGP operations has become a major security concern. This critical problem can be stated simply as â€...
Shih-Ming Tseng, Ke Zhang, Shyhtsun Felix Wu, Kwan...
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, conï¬dentiality, availability, and access control policie...
In this paper, we discuss key management challenges for seamless handovers across heterogeneous wireless networks. We focus on utilizing existing keying material from previous acc...
Katrin Hoeper, Lidong Chen, Antonio Izquierdo, Nad...
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...