Sökning: id:"swepub:oai:DiVA.org:uu-429916" >
On the Formalizatio...
On the Formalization of Decentralized Contact Tracing Protocols
-
- Abdulla, Parosh, Professor, 1961- (författare)
- Uppsala universitet,Avdelningen för datorteknik,Datorteknik
-
- Atig, Mohamed Faouzi (författare)
- Uppsala universitet,Avdelningen för datorteknik,Datorteknik
-
- Delzanno, Giorgio (författare)
- Genova University
-
visa fler...
-
- Montali, Marco (författare)
- Free University of Bozen-Bolzano
-
- Sangnier, Arnaud (författare)
- IRIF, Universitè Paris Denis Diderot
-
visa färre...
-
(creator_code:org_t)
- CEUR-WS.org, 2020
- 2020
- Engelska.
-
Ingår i: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020. - : CEUR-WS.org. ; , s. 65-70
- Relaterad länk:
-
http://ceur-ws.org/V...
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- We present a preliminary formalization based on transition systems of decentralized contact tracing protocols for smart devices equipped with Bluetooth trasmitters. In our model the behaviour of individual users, via their app, is modelled as a timed automata with a local unbounded memory. Protocol configurations consist of the current state of a shared server and a finite set of local states containing the states of individual users. The transition system models the interaction between devices in the same physical location and between a sigle device and the shared server. In the paper we address different research directions concerning semi-automated verification based on automated reasoning tools of the considered class of protocols, theoretical issues related to the expressiveness of the resulting class of formal models, and data-driven analysis of the logs collected on the server as well as on user devices.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Administrativ databehandling
- Computing Science
- Computer Systems Sciences
- Data- och systemvetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)