Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
2018_Netsoft_IMR.pdf		2018_Netsoft_IMR.pdf
A General Approach to Network Configuration Verification.pdf		A General Approach to Network Configuration Verification.pdf
A Modular Integration of SAT SMT Solvers to Coq through Proof Witnesses.pdf		A Modular Integration of SAT SMT Solvers to Coq through Proof Witnesses.pdf
A Survey of Software-Defined Networking_Past,Present, and Future of Programmable Networks.pdf		A Survey of Software-Defined Networking_Past,Present, and Future of Programmable Networks.pdf
A Survey on Software-Defined Network (SDN)_From Concept to Implementation.pdf		A Survey on Software-Defined Network (SDN)_From Concept to Implementation.pdf
A Translation Approach to Portable Ontology Specifications.pdf		A Translation Approach to Portable Ontology Specifications.pdf
A_Survey_on_Network_Verification_and_Testing_With_Formal_Methods_Approaches_and_Challenges.pdf		A_Survey_on_Network_Verification_and_Testing_With_Formal_Methods_Approaches_and_Challenges.pdf
An Automatic Policy Refinement Mechanism for Policy-Driven Grid Service Systems.pdf		An Automatic Policy Refinement Mechanism for Policy-Driven Grid Service Systems.pdf
An Intent-based Approach for Network Virtualization.pdf		An Intent-based Approach for Network Virtualization.pdf
Artificial Intelligence for Intent Based Networking.pdf		Artificial Intelligence for Intent Based Networking.pdf
Building-Operating-a-fully-Wireless-Intent-Driven-Network-v1.pdf		Building-Operating-a-fully-Wireless-Intent-Driven-Network-v1.pdf
Charting an Intent Driven Network.pdf		Charting an Intent Driven Network.pdf
Charting an Intent Driven Network_1.pdf		Charting an Intent Driven Network_1.pdf
Connect-2019-NG-SDN.pdf		Connect-2019-NG-SDN.pdf
Datalog and Emerging Applications_An Interactive Tutorial.pdf		Datalog and Emerging Applications_An Interactive Tutorial.pdf
Demo_Intent-Based 5G IoT Application Slice Energy Monitoring.pdf		Demo_Intent-Based 5G IoT Application Slice Energy Monitoring.pdf
Enabling Intent to Configure Scientific Networks for High Performance Demands.pdf		Enabling Intent to Configure Scientific Networks for High Performance Demands.pdf
Fast Testing Network Data Plane with RuleChecker.pdf		Fast Testing Network Data Plane with RuleChecker.pdf
First-Order Theorem Proving and VAMPIRE.pdf		First-Order Theorem Proving and VAMPIRE.pdf
Flow Allocation in Industrial Intent-based Networks.pdf		Flow Allocation in Industrial Intent-based Networks.pdf
Formal Methods in Dependable Systems Engineering_A Survey of Professionals from Europe and North America.pdf		Formal Methods in Dependable Systems Engineering_A Survey of Professionals from Europe and North America.pdf
Frenetic_A Network Programming Language.pdf		Frenetic_A Network Programming Language.pdf
Huawei-Data-Center-ADN-White-Paper.pdf		Huawei-Data-Center-ADN-White-Paper.pdf
Intent Based Networking (IBN) - GeeksforGeeks.pdf		Intent Based Networking (IBN) - GeeksforGeeks.pdf
Intent-Based Networking_Policy to Solution Architecting Recommendations.pdf		Intent-Based Networking_Policy to Solution Architecting Recommendations.pdf
Intent-Based Orchestration of Network Slices and Resource Assurance using Machine Learning.pdf		Intent-Based Orchestration of Network Slices and Resource Assurance using Machine Learning.pdf
Intent-Driven Similarity in E-Commerce Listings.pdf		Intent-Driven Similarity in E-Commerce Listings.pdf
Intent-based Network Management and Orchestration for Smart Distribution Grids.pdf		Intent-based Network Management and Orchestration for Smart Distribution Grids.pdf
Intent-based Networking Powered by Cisco Digital Network Architecture.pdf		Intent-based Networking Powered by Cisco Digital Network Architecture.pdf
Intent-based Networks An Industrial Perspective.pdf		Intent-based Networks An Industrial Perspective.pdf
Intent-based networks for 6G insights and challenges.pdf		Intent-based networks for 6G insights and challenges.pdf
Intention Driven Modeling for Flexible Workflow Applications.pdf		Intention Driven Modeling for Flexible Workflow Applications.pdf
LICENSE		LICENSE
Measurements As First-class Artifacts.pdf		Measurements As First-class Artifacts.pdf
Model Checking Invariant Security Properties in OpenFlow.pdf		Model Checking Invariant Security Properties in OpenFlow.pdf
NetKAT — A Formal System for the Verification of Networks.pdf		NetKAT — A Formal System for the Verification of Networks.pdf
NetKAT_Semantic Foundations for Networks.pdf		NetKAT_Semantic Foundations for Networks.pdf
OSDF_An Intent-based Software Defined Network Programming Framework.pdf		OSDF_An Intent-based Software Defined Network Programming Framework.pdf
OpenFlow_Enabling Innovation in Campus Networks.pdf		OpenFlow_Enabling Innovation in Campus Networks.pdf
P4IO_Intent-Based Networking with P4.pdf		P4IO_Intent-Based Networking with P4.pdf
PGA_Using Graphs to Express and Automatically Reconcile Network Policies.pdf		PGA_Using Graphs to Express and Automatically Reconcile Network Policies.pdf
Policy transformation techniques in policy-based systems management.pdf		Policy transformation techniques in policy-based systems management.pdf
Programming_Protocol-Independent_Packet_Processors.pdf		Programming_Protocol-Independent_Packet_Processors.pdf
Provenance for Intent-Based Networking.pdf		Provenance for Intent-Based Networking.pdf
README.md		README.md
SDN applications - the intent-based Northbound interface realisation for extended applications.pdf		SDN applications - the intent-based Northbound interface realisation for extended applications.pdf
SDN controller_Intent-based Northbound Interface realization for extended applications.pdf		SDN controller_Intent-based Northbound Interface realization for extended applications.pdf
Safely and Automatically Updating In-Network ACL Configurations with Intent Language.pdf		Safely and Automatically Updating In-Network ACL Configurations with Intent Language.pdf
Software Abstractions_logic, language and analysis.pdf		Software Abstractions_logic, language and analysis.pdf
Software-Defined Networks_Architecture for Extended SDN Applications and Resource Optimization in Cloud Data Centers.pdf		Software-Defined Networks_Architecture for Extended SDN Applications and Resource Optimization in Cloud Data Centers.pdf
Software-Defined_Networking_A_Comprehensive_Survey.pdf		Software-Defined_Networking_A_Comprehensive_Survey.pdf
SymNet_scalable symbolic execution for modern networks.pdf		SymNet_scalable symbolic execution for modern networks.pdf
Symbolic Execution for Software Testing_Three Decades Later.pdf		Symbolic Execution for Software Testing_Three Decades Later.pdf
TR-523_Intent_Definition_Principles.pdf		TR-523_Intent_Definition_Principles.pdf
The Road to SDN_An Intellectual History of Programmable Networks.pdf		The Road to SDN_An Intellectual History of Programmable Networks.pdf
The Role of Intent-Based Networking in ICT Supply Chains.pdf		The Role of Intent-Based Networking in ICT Supply Chains.pdf
The State of Intent-Based Networking.pdf		The State of Intent-Based Networking.pdf
Using_P4_to_Enable_Scalable_Intents_in_Software_Defined_Networks.pdf		Using_P4_to_Enable_Scalable_Intents_in_Software_Defined_Networks.pdf
VeriFlow_Verifying Network-Wide Invariants in Real Time.pdf		VeriFlow_Verifying Network-Wide Invariants in Real Time.pdf
What is Intent based Networking_ _ Benefits of IBN – ManageEngine OpManager.pdf		What is Intent based Networking_ _ Benefits of IBN – ManageEngine OpManager.pdf
Whitepaper_AN_Enabling_Self_X_Digital_Services_for_Smart_X_Verticals.pdf		Whitepaper_AN_Enabling_Self_X_Digital_Services_for_Smart_X_Verticals.pdf
adn-june-cn.pdf		adn-june-cn.pdf
adn-june-en.pdf		adn-june-en.pdf
atc21-jacobs.pdf		atc21-jacobs.pdf
cav17-synet.pdf		cav17-synet.pdf
draft-xia-sdnrg-nemo-language-04.txt		draft-xia-sdnrg-nemo-language-04.txt
intent-based-networking-for-dummies.pdf		intent-based-networking-for-dummies.pdf
nb-10-miercom-dna-sd-access-2019-wp-cte-en.pdf		nb-10-miercom-dna-sd-access-2019-wp-cte-en.pdf
rfc7575.txt		rfc7575.txt
rfc7576.txt		rfc7576.txt
rfc8316.txt		rfc8316.txt
rfc8328.txt		rfc8328.txt
slides-interim-2018-nmrg-03-sessa-intent-driven-networks-laurent-ciavaglia-00.pdf		slides-interim-2018-nmrg-03-sessa-intent-driven-networks-laurent-ciavaglia-00.pdf
slides-interim-2019-nmrg-10-sessa-demo-3-multi-layer-ibn-in-nfv-ecosystem-functional-architecture-and-practical-experience-00.pdf		slides-interim-2019-nmrg-10-sessa-demo-3-multi-layer-ibn-in-nfv-ecosystem-functional-architecture-and-practical-experience-00.pdf
sonata.pdf		sonata.pdf
synet-lec17.pdf		synet-lec17.pdf
wipros-intent-based-network-powered-by-cisco-dna.pdf		wipros-intent-based-network-powered-by-cisco-dna.pdf
wp-solution-research-network-director.pdf		wp-solution-research-network-director.pdf
企业网络专刊-2018年5月刊.pdf		企业网络专刊-2018年5月刊.pdf
分享一篇IBN（Intent-based networking）调研报告.txt		分享一篇IBN（Intent-based networking）调研报告.txt
基于OpenFlow的SDN技术研究.pdf		基于OpenFlow的SDN技术研究.pdf
基于意图的网络研究综述.pdf		基于意图的网络研究综述.pdf
软件定义网络中北向接口语言综述.pdf		软件定义网络中北向接口语言综述.pdf

License

tanyaobin/ibn

Folders and files

Latest commit

History