skip to main content
10.1145/3484266.3487391acmconferencesArticle/Chapter ViewAbstractPublication PagescommConference Proceedingsconference-collections
research-article

Fauré: A Partial Approach to Network Analysis

Published: 04 November 2021 Publication History

Abstract

Formal analysis has been intensively studied (e.g., deep customization and synergistic co-design) in the networking domain, but one assumption remains largely unexamined: there is a complete evaluation that expects definite knowledge of the task, and is expected to output a decisive result. This paper argues for a "partial" approach, a departure from the de facto, to network analysis in a practical environment with uncertain events and limited visibility. Specifically, we seek (1) loss-less modeling in which network uncertainty is explicitly handled without corrupting the querying capability; and (2) complete verification relative to the level of information available, which reaches an inconclusive result only when more information is needed. As a realization of this vision, we present fauré, a preliminary design in which a datalog extension (called fauré-log) for incomplete information is developed to enable loss-less modeling, and combined with static analysis of pure datalog to implement example relative-complete verifiers.

References

[1]
Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 201--219. https://www.usenix.org/conference/nsdi20/presentation/abhashkumar
[2]
Serge Abiteboul, Richard Hull, and Victor Vianu (Eds.). 1995. Foundations of Databases: The Logical Level (1st ed.). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
[3]
Serge Abiteboul, Paris Kanellakis, and Gosta Grahne. 1987. On the Representation and Querying of Sets of Possible Worlds. In Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data (SIGMOD âĂŹ87). Association for Computing Machinery, New York, NY, USA, 34--48. https://doi.org/10.1145/38713.38724
[4]
Hari Balakrishnan, Sujata Banerjee, Israel Cidon, David Culler, Deborah Estrin, Ethan Katz-Bassett, Arvind Krishnamurthy, Murphy McCauley, Nick McKeown, Aurojit Panda, Sylvia Ratnasamy, Jennifer Rexford, Michael Schapira, Scott Shenker, Ion Stoica, David Tennenhouse, Amin Vahdat, and Ellen Zegura. 2021. Revitalizing the Public Internet by Making It Extensible. SIGCOMM Comput. Commun. Rev. 51, 2 (May 2021), 18--24. https://doi.org/10.1145/3464994.3464998
[5]
Anindya Basu, Chih-Hao Luke Ong, April Rasala, F. Bruce Shepherd, and Gordon Wilfong. 2002. Route oscillations in I-BGP with route reflection. In Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications (SIGCOMM '02). ACM, New York, NY, USA, 235--247. https://doi.org/10.1145/633025.633048
[6]
Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. 2018. Control Plane Compression. In Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication (SIGCOMM '18). Association for Computing Machinery, New York, NY, USA, 476--489. https://doi.org/10.1145/3230543.3230583
[7]
Gerhard Brewka, Thomas Eiter, and Mirosław Truszczyński. 2011. Answer Set Programming at a Glance. Commun. ACM 54, 12 (Dec. 2011), 92--103. https://doi.org/10.1145/2043174.2043195
[8]
Martin Casado, Nate Foster, and Arjun Guha. 2014. Abstractions for Software-defined Networks. Commun. ACM 57, 10 (Sept. 2014), 86--95. https://doi.org/10.1145/2661061.2661063
[9]
S. Ceri, G. Gottlob, and L. Tanca. 1989. What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering 1, 1 (1989), 146--166. https://doi.org/10.1109/69.43410
[10]
Xu Chen, Z. Morley Mao, and Jacobus van der Merwe. 2007. Towards Automated Network Management: Network Operations Using Dynamic Views. In Proceedings of the 2007 SIGCOMM Workshop on Internet Network Management (INM '07). ACM, New York, NY, USA, 242--247. https://doi.org/10.1145/1321753.1321757
[11]
Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Sean Rhea, and Timothy Roscoe. 2005. Finally, a use for componentized transport protocols. In In HotNets IV.
[12]
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, and Theophilus A. Benson. 2020. Solver-Aided Multi-Party Configuration. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks (HotNets '20). Association for Computing Machinery, New York, NY, USA, 103--109. https://doi.org/10.1145/3422604.3425944
[13]
Bruce Davie, Teemu Koponen, Justin Pettit, Ben Pfaff, Martin Casado, Natasha Gude, Amar Padmanabhan, Tim Petty, Kenneth Duda, and Anupam Chanda. 2017. A Database Approach to SDN Control Plane Design. SIGCOMM Comput. Commun. Rev. 47, 1 (Jan. 2017), 15--26. https://doi.org/10.1145/3041027.3041030
[14]
Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT Solver. In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08/ETAPS'08). Springer-Verlag, Berlin, Heidelberg, 337--340. http://dl.acm.org/citation.cfm?id=1792734.1792766
[15]
Seyed K. Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Millstein, Vyas Sekar, and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 217--232. https://www.usenix.org/conference/osdi16/technical-sessions/presentation/fayaz
[16]
Nick Feamster, Ramesh Johari, and Hari Balakrishnan. 2007. Implications of Autonomy for the Expressiveness of Policy Routing. IEEE/ACM Trans. Netw. 15, 6 (Dec. 2007), 1266--1279. https://doi.org/10.1109/TNET.2007.896531
[17]
Nick Feamster and Jennifer Rexford. 2007. Network-Wide Prediction of BGP Routes. IEEE/ACM Trans. Netw. 15, 2 (April 2007), 253--266. https://doi.org/10.1109/TNET.2007.892876
[18]
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. A General Approach to Network Configuration Analysis. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (NSDI'15). USENIX Association, USA, 469--483.
[19]
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. A General Approach to Network Configuration Analysis. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation (NSDI'15). USENIX Association, USA, 469--483.
[20]
Aaron Gember-Jacobson, Raajay Viswanathan, Aditya Akella, and Ratul Mahajan. 2016. Fast Control Plane Analysis Using an Abstract Representation. In Proceedings of the 2016 ACM SIGCOMM Conference (SIGCOMM '16). Association for Computing Machinery, New York, NY, USA, 300--313. https://doi.org/10.1145/2934872.2934876
[21]
Timothy G. Griffin, F. Bruce Shepherd, and Gordon Wilfong. 2002. The Stable Paths Problem and Interdomain Routing. IEEE Trans. on Networking 10 (2002), 232--243.
[22]
Timothy G. Griffin and Gordon Wilfong. 1999. An Analysis of BGP Convergence Properties. In SIGCOMM.
[23]
T. G. Griffin and G. Wilfong. 2000. A Safe Path Vector Protocol. In INFOCOM.
[24]
Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, and Jennifer Widom. 1994. Constraint Checking with Partial Information. In Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS '94). Association for Computing Machinery, New York, NY, USA, 45--55. https://doi.org/10.1145/182591.182597
[25]
Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, and Oded Shmueli. 2001. Static Analysis in Datalog Extensions. J. ACM 48, 5 (Sept. 2001), 971--1012. https://doi.org/10.1145/502102.502104
[26]
Yotam Harchol, Dirk Bergemann, Nick Feamster, Eric Friedman, Arvind Krishnamurthy, Aurojit Panda, Sylvia Ratnasamy, Michael Schapira, and Scott Shenker. 2020. A Public Option for the Core. In Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM '20). Association for Computing Machinery, New York, NY, USA, 377--389. https://doi.org/10.1145/3387514.3405875
[27]
Timothy L. Hinrichs, Natasha S. Gude, Martin Casado, John C. Mitchell, and Scott Shenker. 2009. FML: Practical Declarative Network Management. In Proceedings of the 1st ACM Workshop on Research on Enterprise Networking (WREN '09). ACM, New York, NY, USA, 1--10. https://doi.org/10.1145/1592681.1592683
[28]
Geoff Huston. [n. d.]. The Death of Transit and Beyond. https://labs.apnic.net/presentations/store/2017-02-28-death-of-transit.pdf. ([n. d.]).
[29]
Tomasz Imieliński and Witold Lipski. 1984. Incomplete Information in Relational Databases. J. ACM 31, 4 (Sept. 1984), 761âĂŞ791. https://doi.org/10.1145/1634.1886
[30]
Karthick Jayaraman, Nikolaj Bjørner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C Bissonnette, Shane Foster, Andrew Helwer, Mark Kasten, Ivan Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, Neha Milind Raje, and Parag Sharma. 2019. Validating Datacenters at Scale. In Proceedings of the ACM Special Interest Group on Data Communication (SIGCOMM '19). Association for Computing Machinery, New York, NY, USA, 200âĂŞ213. https://doi.org/10.1145/3341302.3342094
[31]
Juniper networks, Fast Reroute Overview. (14-Sep-18). [n. d.]. https://www.juniper.net/documentation/en_US/junos-space-apps/connectivity-services-director4.1/topics/concept/fast-reroute-understanding.html. ([n. d.]).
[32]
Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. 2013. Real Time Network Policy Checking Using Header Space Analysis. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (nsdi'13). USENIX Association, USA, 99âĂŞ112.
[33]
Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header space analysis: static checking for networks. In Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation (NSDI'12). USENIX Association, Berkeley, CA, USA.
[34]
Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. 2012. VeriFlow: Verifying Network-Wide Invariants in Real Time. In Proceedings of the First Workshop on Hot Topics in Software Defined Networks (HotSDN '12). Association for Computing Machinery, New York, NY, USA, 49âĂŞ54. https://doi.org/10.1145/2342441.2342452
[35]
Teemu Koponen, Keith Amidon, Peter Balland, Martín Casado, Anupam Chanda, Bryan Fulton, Igor Ganichev, Jesse Gross, Natasha Gude, Paul Ingram, Ethan Jackson, Andrew Lambeth, Romain Lenglet, Shih-Hao Li, Amar Padmanabhan, Justin Pettit, Ben Pfaff, Rajiv Ramanathan, Scott Shenker, Alan Shieh, Jeremy Stribling, Pankaj Thakkar, Dan Wendlandt, Alexander Yip, and Ronghua Zhang. 2014. Network Virtualization in Multi-tenant Datacenters. In Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation (NSDI'14). USENIX Association, Berkeley, CA, USA, 203--216. http://dl.acm.org/citation.cfm?id=2616448.2616468
[36]
Teemu Koponen, Martin Casado, Natasha Gude, Jeremy Stribling, Leon Poutievski, Min Zhu, Rajiv Ramanathan, Yuichiro Iwata, Hiroaki Inoue, Takayuki Hama, and Scott Shenker. 2010. Onix: a distributed control platform for large-scale production networks. In Proceedings of the 9th USENIX conference on Operating systems design and implementation (OSDI'10).
[37]
Alon Y. Levy and Yehoshua Sagiv. 1993. Queries Independent of Updates. In Proceedings of the 19th International Conference on Very Large Data Bases (VLDB '93). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 171--181. http://dl.acm.org/citation.cfm?id=645919.672674
[38]
Changbin Liu, Boon Thau Loo, and Yun Mao. 2011. Declarative Automated Cloud Resource Orchestration. In Proceedings of the 2Nd ACM Symposium on Cloud Computing (SOCC '11). ACM, New York, NY, USA, Article 26, 8 pages. https://doi.org/10.1145/2038916.2038942
[39]
Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, and Prithwish Basu. 2012. Cologne: A Declarative Distributed Constraint Optimization Platform. Proc. VLDB Endow. 5, 8 (April 2012), 752--763. https://doi.org/10.14778/2212351.2212357
[40]
Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica. 2006. Declarative Networking: Language, Execution and Optimization. In Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data (SIGMOD '06). ACM, New York, NY, USA, 97--108. https://doi.org/10.1145/1142473.1142485
[41]
Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, and Raghu Ramakrishnan. 2005. Declarative Routing: Extensible Routing with Declarative Queries (SIGCOMM '05). ACM, 12. https://doi.org/10.1145/1080091.1080126
[42]
Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, and George Varghese. 2015. Checking Beliefs in Dynamic Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). USENIX Association, Oakland, CA, 499--512. https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/lopes
[43]
Yun Mao, Boon Thau Loo, Zachary Ives, and Jonathan M. Smith. 2008. MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition. In Proceedings of the 2008 ACM CoNEXT Conference (CoNEXT '08). ACM, New York, NY, USA, Article 5, 12 pages. https://doi.org/10.1145/1544012.1544017
[44]
James McCauley, Yotam Harchol, Aurojit Panda, Barath Raghavan, and Scott Shenker. 2019. Enabling a Permanent Revolution in Internet Architecture. In Proceedings of the ACM Special Interest Group on Data Communication (SIGCOMM âĂŹ19). Association for Computing Machinery, New York, NY, USA, 1âĂŞ14. https://doi.org/10.1145/3341302.3342075
[45]
D. McPherson, V. Gill, D. Walton, and A. Retana. RFC 3345, 2002. Border Gateway Protocol (BGP) Persistent Route Oscillation Condition. (RFC 3345, 2002).
[46]
Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, and George Varghese. 2016. Scaling Network Verification Using Symmetry and Surgery. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '16). Association for Computing Machinery, New York, NY, USA, 69âĂŞ83. https://doi.org/10.1145/2837614.2837657
[47]
PostgreSQL: The World's Most Advanced Open Source Relational Database. [n. d.]. https://www.postgresql.org/. ([n. d.]).
[48]
Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. 2020. Plankton: Scalable network configuration verification through model checking. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 953--967. https://www.usenix.org/conference/nsdi20/presentation/prabhu
[49]
Chaithan Prakash, Jeongkeun Lee, Yoshio Turner, Joon-Myung Kang, Aditya Akella, Sujata Banerjee, Charles Clark, Yadi Ma, Puneet Sharma, and Ying Zhang. [n. d.]. PGA: Using Graphs to Express and Automatically Reconcile Network Policies. In SIGCOMM '15.
[50]
B. Quoitin and S. Uhlig. 2005. Modeling the routing of an autonomous system with C-BGP. IEEE Network 19, 6 (2005), 12--19. https://doi.org/10.1109/MNET.2005.1541716
[51]
Removed for anonymous submission. [n. d.]. ([n. d.]).
[52]
Raja R. Sambasivan, David Tran-Lam, Aditya Akella, and Peter Steenkiste. 2015. Bootstrapping Evolvability for Inter-Domain Routing. In Proceedings of the 14th ACM Workshop on Hot Topics in Networks (HotNets-XIV). ACM, New York, NY, USA, Article 12, 7 pages. https://doi.org/10.1145/2834050.2834101
[53]
Raja R. Sambasivan, David Tran-Lam, Aditya Akella, and Peter Steenkiste. 2017. Bootstrapping Evolvability for Inter-domain Routing with D-BGP (SIGCOMM '17). ACM, New York, NY, USA, 14. https://doi.org/10.1145/3098822.3098857
[54]
Renata Teixeira and Jennifer Rexford. 2004. A Measurement Framework for Pin-Pointing Routing Changes. In Proceedings of the ACM SIGCOMM Workshop on Network Troubleshooting: Research, Theory and Operations Practice Meet Malfunctioning Reality (NetT '04). Association for Computing Machinery, New York, NY, USA, 313âĂŞ318. https://doi.org/10.1145/1016687.1016704
[55]
Bingchuan Tian, Xinyi Zhang, Ennan Zhai, Hongqiang Harry Liu, Qiaobo Ye, Chunsheng Wang, Xin Wu, Zhiming Ji, Yihong Sang, Ming Zhang, Da Yu, Chen Tian, Haitao Zheng, and Ben Y. Zhao. 2019. Safely and Automatically Updating In-Network ACL Configurations with Intent Language. In Proceedings of the ACM Special Interest Group on Data Communication (SIGCOMM '19). Association for Computing Machinery, New York, NY, USA, 214âĂŞ226. https://doi.org/10.1145/3341302.3342088
[56]
Ron van der Meyden. 1998. Logical Approaches to Incomplete Information: A Survey. In Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995), Jan Chomicki and Gunter Saake (Eds.). Kluwer, 307--356.
[57]
Kannan Varadhan, Ramesh Govindan, and Deborah Estrin. 2000. Persistent route oscillations in inter-domain routing. Computer Networks 32, 1 (2000), 1 - 16. https://doi.org/10.1016/S1389-1286(99)00108-5
[58]
G.G. Xie, Jibin Zhan, D.A. Maltz, Hui Zhang, A. Greenberg, G. Hjalmtysson, and J. Rexford. 2005. On static reachability analysis of IP networks. In Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies., Vol. 3. 2170-2183 vol. 3. https://doi.org/10.1109/INFCOM.2005.1498492
[59]
Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang, Zhiliang Wang, and Rodrigo Fonseca. 2020. Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN. In Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM '20). Association for Computing Machinery, New York, NY, USA, 599âĂŞ614. https://doi.org/10.1145/3387514.3406217
[60]
Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, and Zhiqiang Zuo. 2020. Incremental Network Configuration Verification. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks (HotNets '20). Association for Computing Machinery, New York, NY, USA, 81âĂŞ87. https://doi.org/10.1145/3422604.3425936
[61]
Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, and Hao Li. 2020. APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 241--255. https://www.usenix.org/conference/nsdi20/presentation/zhang-peng

Cited By

View all
  • (2023)Structural Semantics Management: an Application of the Chase in Networking2023 31st International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)10.1109/MASCOTS59514.2023.10387636(1-4)Online publication date: 16-Oct-2023

Index Terms

  1. Fauré: A Partial Approach to Network Analysis
              Index terms have been assigned to the content through auto-classification.

              Comments

              Information & Contributors

              Information

              Published In

              cover image ACM Conferences
              HotNets '21: Proceedings of the 20th ACM Workshop on Hot Topics in Networks
              November 2021
              246 pages
              ISBN:9781450390873
              DOI:10.1145/3484266
              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

              Sponsors

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              Published: 04 November 2021

              Permissions

              Request permissions for this article.

              Check for updates

              Qualifiers

              • Research-article
              • Research
              • Refereed limited

              Funding Sources

              • NSF

              Conference

              HotNets '21
              Sponsor:
              HotNets '21: The 20th ACM Workshop on Hot Topics in Networks
              November 10 - 12, 2021
              Virtual Event, United Kingdom

              Acceptance Rates

              Overall Acceptance Rate 110 of 460 submissions, 24%

              Contributors

              Other Metrics

              Bibliometrics & Citations

              Bibliometrics

              Article Metrics

              • Downloads (Last 12 months)21
              • Downloads (Last 6 weeks)1
              Reflects downloads up to 14 Feb 2025

              Other Metrics

              Citations

              Cited By

              View all
              • (2023)Structural Semantics Management: an Application of the Chase in Networking2023 31st International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)10.1109/MASCOTS59514.2023.10387636(1-4)Online publication date: 16-Oct-2023

              View Options

              Login options

              View options

              PDF

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader

              Figures

              Tables

              Media

              Share

              Share

              Share this Publication link

              Share on social media