163 Hits in 5.9 sec

Splendid isolation

Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster
2012 Proceedings of the first workshop on Hot topics in software defined networks - HotSDN '12  
We define our slice abstraction precisely, develop algorithms for compiling slices, and illustrate their use on examples.  ...  This paper presents a better alternative: an abstraction that supports programming isolated slices of the network.  ...  We wish to thank Shrutarshi Basu, Josh Reich, Mark Reitblatt, Jennifer Rexford, and David Walker, and the anonymous reviewers for many helpful comments and suggestions.  ... 
doi:10.1145/2342441.2342458 dblp:conf/sigcomm/GutzSSF12 fatcat:axlid3xeuvdc3fxxedhat2v6tq

Towards a modular and flexible SDN control language

Messaoud Aouadj, Emmanuel Lavinal, Thierry Desprats, Michelle Sibilla
2014 2014 Global Information Infrastructure and Networking Symposium (GIIS)  
Traffic isolation issues were also addressed in works like FlowVisor [12] and Splendid Isolation [13] . FlowVisor is a software slicing layer placed between the control plane and the data plane.  ...  Following the same idea, Guts et al. proposed splendid isolation which is a language that allows, on one side, to define network slices in a simple and elegant way and, on the other, to formally verify  ... 
doi:10.1109/giis.2014.6934254 dblp:conf/giis/AouadjLDS14 fatcat:azqpbloodvgelcqo7f4ahd3tau

Towards flexible, scalable and autonomic virtual tenant slices

Mohamed Fekih Ahmed, Chamssedine Talhi, Mohamed Cheriet
2015 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM)  
We defined our L2 isolation model providing high level abstraction for multi-tenant network by combining SDN slicing technique and overlay virtual protocols.  ...  a solid Layer 2 model and combining it with the overlay technologies.Second, we defined our Layer 2 isolation model providing high level abstraction for multitenant network by combining SDN slicing technique  ... 
doi:10.1109/inm.2015.7140361 dblp:conf/im/AhmedTC15 fatcat:qcyz5zlbsvhtvjyyfy6rlytaii

Towards middleware security framework for next generation data centers connectivity

Samar Raza Talpur, Sameh Abdalla, Tahar Kechadi
2015 2015 Science and Information Conference (SAI)  
We present the middleware security framework for software defined data centers inter-connectivity, the proposed security framework will be based on some learning processes, which will reduce the complexity  ...  Publisher IEEE Item record/more information Publisher's statement Abstract-Data Center as a Service (DCaaS) facilitates to clients as alternate outsourced physical data  ...  Splendid Isolation: A Slice Abstraction for Software-Defined Networks [16] The mechanism for isolation and slicing of network is proposed using openflow, the programmable network on abstraction layer  ... 
doi:10.1109/sai.2015.7237308 fatcat:axaz36ogfbh2hjr26gnxpvbpty

Software-Defined Networking: A Comprehensive Survey [article]

Diego Kreutz and Fernando M. V. Ramos and Paulo Verissimo and Christian Esteve Rothenberg and Siamak Azodolmolky and Steve Uhlig
2014 arXiv   pre-print
Last but not least, we analyze the position of SDN as a key enabler of a software-defined environment.  ...  for carrier transport networks and cloud providers.  ...  ACKNOWLEDGMENT The authors would like to thank the anonymous reviewers and a number of fellows that have contributed to this work.  ... 
arXiv:1406.0440v3 fatcat:usdyjgdys5h3foowmq6qvih3e4

Composing data and control functions to ease virtual networks programmability

Messaoud Aouadj, Emmanuel Lavinal, Thierry Desprats, Michelle Sibilla
2016 NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium  
One novelty of this language is to integrate a network abstraction model that offers a clear separation between simple transport functions and advanced network services.  ...  programmability. (2016) In: IEEE/IFIP Network Operations and Management Symposium (NOMS 2016) : Mini-Conference, Abstract-This paper presents a new domain specific language, called AirNet, to design and  ...  proposed splendid isolation which is a language that allows, on one side, to define network slices, and on the other, to formally verify isolation between these slices. Recently, Monsanto et al.  ... 
doi:10.1109/noms.2016.7502844 dblp:conf/noms/AouadjLDS16 fatcat:3yz3osu5inesbapldxfuimsx5i

Software-Defined Networking: A Comprehensive Survey

Diego Kreutz, Fernando M. V. Ramos, Paulo Esteves Verissimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig
2015 Proceedings of the IEEE  
Software-Defined Networking (SDN) is an emerging paradigm that promises to change this state of affairs, by breaking vertical integration, separating the network's control logic from the underlying routers  ...  the network control problem into tractable pieces, SDN makes it easier to create and introduce new abstractions in networking, simplifying network management and facilitating network evolution.  ...  ACKNOWLEDGMENT The authors would like to thank the anonymous reviewers and a number of fellows that have contributed to this work.  ... 
doi:10.1109/jproc.2014.2371999 fatcat:azqmynutpfgl7lovrg7qxdnl2u

A Survey of Security in Software Defined Networks

Sandra Scott-Hayward, Sriram Natarajan, Sakir Sezer
2016 IEEE Communications Surveys and Tutorials  
Splendid Isolation [73] has been proposed as a means of verifying the isolation of program traffic across network slices. It is a formally proven programming abstraction for defining slices.  ...  in SDN fault-tolerant data store Formal Verification Methods Splendid Isolation [73] How to program shared networks in a Introduce slice-based network programming secure and reliable manner?  ... 
doi:10.1109/comst.2015.2453114 fatcat:7d46s7rtxrg3romy2zds72e5pm

Sdn Security: A Survey

Sandra Scott-Hayward, Gemma O'Callaghan, Sakir Sezer
2013 2013 IEEE SDN for Future Networks and Services (SDN4FNS)  
More recently, Splendid Isolation [31] has been proposed as a means of verifying the isolation of program traffic.  ...  SECURITY ENHANCEMENT USING SDN The architecture of a software-defined network introduces potential for innovation in the use of the network.  ... 
doi:10.1109/sdn4fns.2013.6702553 dblp:conf/sdn4fns/Scott-HaywardOS13 fatcat:oeaxwtdeifghnnt5bc2q6f3ufe

Secure and dependable software defined networks

Adnan Akhunzada, Abdullah Gani, Nor Badrul Anuar, Ahmed Abdelaziz, Muhammad Khurram Khan, Amir Hayat, Samee U. Khan
2016 Journal of Network and Computer Applications  
The revolutionary concept of Software Defined Networks (SDNs) potentially provides flexible and wellmanaged next-generation networks.  ...  The categorization of solutions is followed by a critical analysis and discussion to devise a comprehensive thematic taxonomy.  ...  Network security policy enforcement NOX Splendid Isolation: language based security (Schlesinger et al., 2012) Centralized management Traffic isolation and slice abstraction OpenFlow No bugs  ... 
doi:10.1016/j.jnca.2015.11.012 fatcat:m5ekztakunbzxgkuk6gfp23j3e

Applying Formal Methods to Networking: Theory, Techniques, and Applications

Junaid Qadir, Osman Hasan
2015 IEEE Communications Surveys and Tutorials  
Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind  ...  The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built  ...  In this work, a slice abstraction is presented and algorithms for compiling slices is presented along with a tool for automatic verification of formal isolation properties.  ... 
doi:10.1109/comst.2014.2345792 fatcat:oc6l6pn4tnddjbbr5v4gbbuycq

Enhancing Security of Software Defined Mobile Networks

Madhusanka Liyanage, Ijaz Ahmed, Jude Okwuibe, Mika Ylianttila, Hammad Kabir, Jesus Llorente Santos, Raimo Kantola, Oscar Lopez Perez, Mikel Uriarte Itzazelaia, Edgardo Montes De Oca
2017 IEEE Access  
We present a multi-tier component-based security architecture to address these challenges and secure 5G software defined mobile network (SDMN), by handling security at different levels to protect the network  ...  Several technologies have been developed to meet these emergent demands of future mobile networks, among these are software defined networking, network function virtualization, and cloud computing.  ...  It is also planned that the core network will be sliced for better isolation and tailoring to the particular requirements of the market segments.  ... 
doi:10.1109/access.2017.2701416 fatcat:paoxsmqk6zddjbgjjgvlmhegbm

Detecting cloud virtual network isolation security for data leakage

Haifa Mohamed Al Nasseri, Ishbel Mary Macdonald Duncan
Virtual Network (VN) Isolation is a core element of cloud security yet research literature shows that no experimental work, to date, has been conducted to test, discover and evaluate VN isolation data  ...  This thesis considers information leakage in cloud virtually isolated networks.  ...  Splendid Isolation [22] has been proposed as a means of verifying the isolation of program traffic across network slices. It is a formally proven programming abstraction for defining slices.  ... 
doi:10.17630/10023-17524 fatcat:xurwm6paavctjhcuacqfzwtqmm

Automated Dynamic Resource Provisioning and Monitoring in Virtualized Large-Scale Datacenter

Sameera Abar, Pierre Lemarinier, Georgios K. Theodoropoulos, Gregory M.P. OHare
2014 2014 IEEE 28th International Conference on Advanced Information Networking and Applications  
The performance log is exported in comma-separated-value (CSV) file-format and parsed through "gawk" which is a splendid Linux utility to slice logs and extract the selected records to analyze.  ...  Virtualization plays an important role as an enabling technology for datacenter implementation by abstracting compute, network, and storage service platforms from the underlying physical hardware.  ...  Runtime error information is matched with a predefined string or precondition. and an event is generated SimInvoke-Ag Linux-based Shell script Clearing cache of inactive and delayed  ... 
doi:10.1109/aina.2014.117 dblp:conf/aina/AbarLTO14 fatcat:i6zfmjfmuzaq7fipcy3lan3aoa

Secure Software-Defined Networking Communication Systems for Smart Cities: Current Status, Challenges, and Trends

Mohamed Rahouti, Kaiqi Xiong, Yufeng Xin
2020 IEEE Access  
In recent years, Software-Defined Networking (SDN) has emerged as a leading communication infrastructure candidate for smart cities.  ...  Lastly, we cast a holistic view of future research trends. INDEX TERMS Communication system, OpenFlow, security, smart city, software defined networks. 12084 VOLUME 9, 2021 M.  ...  proposed a technique to reinforce slice isolation-based confidentiality, where flows in diverse slices are isolated based on the functionality of flow processing.  ... 
doi:10.1109/access.2020.3047996 fatcat:cdxn6xeid5cvnkpqarvzrlvchi
« Previous Showing results 1 — 15 out of 163 results