The 18th IEEE International Conference on Network Protocols最新文献_第2页

DOTS: A propagation Delay-aware Opportunistic MAC protocol for underwater sensor networks 水下传感器网络的传输延迟感知机会MAC协议

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762767

Youngtae Noh, Paul Wang, Uichin Lee, Dustin Torres, M. Gerla

引用次数: 72

Neighbor-specific BGP: An algebraic exploration 基于邻居的BGP:一种代数探索

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762759

Alexander J. T. Gurney, T. Griffin

引用次数: 15

Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization 基于痕迹包含变换和在线最小化的认证授权协议安全特性分析

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762765

Yating Hsu, David Lee

{"title":"Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization","authors":"Yating Hsu, David Lee","doi":"10.1109/ICNP.2010.5762765","DOIUrl":"https://doi.org/10.1109/ICNP.2010.5762765","url":null,"abstract":"A major hurdle of formal analysis of protocol security properties is the well-known state explosion - a protocol system usually contains infinitely many or a formidable number of states. As a result, most of the analysis resorts to heuristics, such as state space pruning. Given the temporal property of authentication and authorization protocols, we introduce trace inclusion transformation of protocol specification to reduce significantly the state space. We further cut down the number of states by online minimization for obtaining a model of a manageable size for a formal and rigorous analysis. However, the two state space reduction procedures may result in false negative and false positives. We show that our trace inclusion transformation and online minimization do not introduce any false negative. On the other hand, we design an efficient algorithm for ruling out all the possible false positives. Therefore, our analysis is sound and complete. For a case study, we analyze OAuth, a standardization of API authentication protocols. Our automated analysis identifies a number of attacks in the original specification, including the one that has been detected. We also analyze the second version of OAuth and prove it is secure if the API interface is secure.","PeriodicalId":344208,"journal":{"name":"The 18th IEEE International Conference on Network Protocols","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115207531","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Routing in max-min fair networks: A game theoretic approach 最大最小公平网络中的路由:一种博弈论方法

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762749

Dejun Yang, G. Xue, Xi Fang, S. Misra, Jin Zhang

引用次数: 7

A new VPN routing approach for large scale networks 一种新的大规模网络VPN路由方法

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762761

Zied Ben-Houidi, M. Meulle

{"title":"A new VPN routing approach for large scale networks","authors":"Zied Ben-Houidi, M. Meulle","doi":"10.1109/ICNP.2010.5762761","DOIUrl":"https://doi.org/10.1109/ICNP.2010.5762761","url":null,"abstract":"One of the most common provider provisioned VPN technologies uses MPLS as a data plane for customer flow isolation and BGP as a control plane for routing between VPN sites. From a data plane perspective, such networks can provision hundreds of thousands of VPN sites. However, the BGP control plane is prone to scalability concerns. Some BGP routers in VPN backbones must handle routes for all the VPN sites that the provider connects. The number of sites can generate two million BGP routes in large VPN backbones, almost ten times the number of routes in a core Internet router. Prior work proposed solutions to evolve such networks. Yet, we argue that they fail to address the root cause of VPN routing performance issues. In this paper, we show that VPN routing scheme's poor scalability stems from the application to VPNs of a protocol originally designed for full routing, specifically the Internet. Rather than evolving the current standard based on BGP, we take a principled approach to rethink routing in large VPNs. We propose Two-Step VPN Routing, a new approach for scalable VPN routing. We validate our design choices and compare our approach to existing ones, using both BGP updates and router configurations collected from a large VPN provider.","PeriodicalId":344208,"journal":{"name":"The 18th IEEE International Conference on Network Protocols","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116174737","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 16

RELICS: In-network realization of incentives to combat selfishness in DTNs 遗物:在ddn中对抗自私的激励的网络内实现

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762769

Md Yusuf Sarwar Uddin, Brighten Godfrey, T. Abdelzaher

引用次数: 52

Network Coding aware Rate Selection in multi-rate IEEE 802.11 多速率IEEE 802.11中的网络编码感知速率选择

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762758

Raju Kumar, S. Tati, Felipe de Mello, S. Krishnamurthy, T. L. Porta

引用次数: 15

Granting silence to avoid wireless collisions 授予沉默以避免无线碰撞

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762757

J. Choi, Mayank Jain, Maria A. Kazandjieva, P. Levis

引用次数: 17

Assigning AS relationships to satisfy the Gao-Rexford conditions 分配AS关系以满足Gao-Rexford条件

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762760

L. Cittadini, G. Battista, T. Erlebach, M. Patrignani, M. Rimondini

引用次数: 8

TOP: Tail Optimization Protocol For Cellular Radio Resource Allocation TOP:蜂窝无线资源分配的尾部优化协议

The 18th IEEE International Conference on Network Protocols Pub Date : 2010-10-05 DOI: 10.1109/ICNP.2010.5762777

Feng Qian, Zhaoguang Wang, Alexandre Gerber, Z. Morley Mao, S. Sen, O. Spatscheck

{"title":"TOP: Tail Optimization Protocol For Cellular Radio Resource Allocation","authors":"Feng Qian, Zhaoguang Wang, Alexandre Gerber, Z. Morley Mao, S. Sen, O. Spatscheck","doi":"10.1109/ICNP.2010.5762777","DOIUrl":"https://doi.org/10.1109/ICNP.2010.5762777","url":null,"abstract":"In 3G cellular networks, the release of radio resources is controlled by inactivity timers. However, the timeout value itself, also known as the tail time, can last up to 15 seconds due to the necessity of trading off resource utilization efficiency for low management overhead and good stability, thus wasting considerable amount of radio resources and battery energy at user handsets. In this paper, we propose Tail Optimization Protocol (TOP), which enables cooperation between the phone and the radio access network to eliminate the tail whenever possible. Intuitively, applications can often accurately predict a long idle time. Therefore the phone can notify the cellular network on such an imminent tail, allowing the latter to immediately release radio resources. To realize TOP, we utilize a recent proposal of 3GPP specification called fast dormancy, a mechanism for a handset to notify the cellular network for immediate radio resource release. TOP thus requires no change to the cellular infrastructure and only minimal changes to smartphone applications. Our experimental results based on real traces show that with a reasonable prediction accuracy, TOP saves the overall radio energy (up to 17%) and radio resources (up to 14%) by reducing tail times by up to 60%. For applications such as multimedia streaming, TOP can achieve even more significant savings of radio energy (up to 60%) and radio resources (up to 50%).","PeriodicalId":344208,"journal":{"name":"The 18th IEEE International Conference on Network Protocols","volume":"386 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122181361","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 145