Mathematical Institute of the Serbian Academy of Sciences and Arts
|Title:||Federating Digital Contact Tracing using Structured Overlay Networks||First page:||28||Last page:||30||Related Publication(s):||Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021||Conference:||10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia||Issue Date:||Sep-2021||Rank:||M34||URL:||http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/2021_LAP_FORMALS_BoA.pdf||Abstract:||
One of the biggest challenges of today is to slow down the spreading of SARS- CoV-2 virus producing Covid-19 pandemic; Prevention, Testing and Tracing are the main pillars of the solution.
Contact Tracing of an infected person is essential to control the spread of the
disease. Through this process Health Authorities identify, notify, and monitor
people who came in close contact with an individual who was tested positive for
an infectious disease, like Covid-19, while he/she was infectious. Also, contact
tracing data helps medical experts to find the origin of the virus, learn more
about the nature of the virus and estimate the speed of how fast the virus is
Contact tracing has mostly been done manually since many centuries ago.
Identifying contacts is done through an interview with the person infected with
the virus, after each contact is called by phone. Due to the highly contagious
nature of the SARS-CoV-2 virus and the fact that symptoms can manifest after
many days (or even never, e.g. asymptomatic cases), manual contact tracing
does not give satisfactory results. In the situations when the virus is spreading
to fast, Health departments and authorities do not have enough employees to
do manual contact tracing.
For these reasons digital contact tracing has been considered already at
the beginning of the Covid-19 pandemic. There is a plethora of digital contract
tracing application. They are developed on very different paradigms, centralized
vs. decentralized, GPS based vs. Bluetooth [1, 7]. The rush to make these
applications work in the shortest time led to their great diversity. The most
important open problem is their interoperability. There are many ongoing efforts
to make a federation of these different systems. Herein, we address this problem
and propose a solution based on mathematical models of overlay networks.
We present a design of the system for connecting different digital contact
tracing applications, called BubbleAntiCovid19 (BAC19). The model is inspired
by Chord  and Synapse  Structured Overlay Networks. The correctness
and efficiency of lookup procedures of this protocols was in the focus of several
papers, e.g. [4, 5, 6, 8]. We prove that BAC19 provides a complete and fully
exhaustive retrieving procedure. Hence, BAC19 is proven to be a simple yet
powerful interconnection of already existing digital contact tracing applications
that - by construction - do not communicate with each others as such providing
their efficient interoperability. More details on this work can be found in .
|Keywords:||Covid-19 | Digital Contact Tracing | Structured Overlay Networks||Publisher:||University Center Dubrovnik, Croatia||Project:||Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC|
Show full item record
checked on Aug 10, 2022
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.