Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Salaheddin Darwish"'
Publikováno v:
Williams, D, Darwish, S, Schneider, S & Michael, D R 2020, ' Legislation-driven development of a Gift Aid system using Event-B ', Formal Aspects of Computing . https://doi.org/10.1007/s00165-020-00512-5
This work presents our approach to formally model the Swiftaid system design, a digital platform that enables donors to automatically add Gift Aid to donations made via card payments. Following principles of Behaviour-Driven Development, we use Gherk
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4028817516c99e09ac3bd947df9f1aa
https://researchportal.port.ac.uk/portal/en/publications/legislationdriven-development-of-a-gift-aid-system-using-eventb(5cb908ae-23c1-4850-b21a-4053242a8ca2).html
https://researchportal.port.ac.uk/portal/en/publications/legislationdriven-development-of-a-gift-aid-system-using-eventb(5cb908ae-23c1-4850-b21a-4053242a8ca2).html
Publikováno v:
EUSPN/ICTH
The Medical Internet of Things (MIoT) has applications beyond clinical settings including in outpatient and care environments where monitoring is occurring over public networks and may involve non-dedicated devices. This poses a number of security an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5dbe5d2ddb0f450ff42bf134cdce5a8
https://doi.org/10.1016/j.procs.2017.08.314
https://doi.org/10.1016/j.procs.2017.08.314
Publikováno v:
Security and Privacy Trends in the Industrial Internet of Things ISBN: 9783030123291
Security and Privacy Trends in the Industrial Internet of Thing
Security and Privacy Trends in the Industrial Internet of Thing
Some type of privacy-preserving transformation must be applied to any data record from Industrial Internet of Things (IIoT) before it is disclosed to the researchers or analysts. Based on the existing privacy models such as Differential Privacy (DP)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ddb61211be0c240b16e94a71857a96c
https://doi.org/10.1007/978-3-030-12330-7_11
https://doi.org/10.1007/978-3-030-12330-7_11
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319945224
ICOST
ICOST
The aim of this work is to discuss abnormality detection and explanation challenges motivated by Medical Internet of Things. First, any feature is a measurement taken by a sensor at a time moment, so abnormality detection also becomes a sequential pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9461b4c7b39d23bd221fe29096a4e3e9
https://doi.org/10.1007/978-3-319-94523-1_31
https://doi.org/10.1007/978-3-319-94523-1_31
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319945224
ICOST
ICOST
Medical and general health-related measurements can increasingly be performed via IoT components and protocols, whilst inexpensive sensors allow the capturing of a wider range of parameters in clinical, care, and general health monitoring domains. Me
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9e939fdece24b0781e42fb3448cdae6
https://doi.org/10.1007/978-3-319-94523-1_13
https://doi.org/10.1007/978-3-319-94523-1_13
Publikováno v:
TrustCom
Security and efficient routing are two important parameters in sensor networks. In this paper we propose SSBCR (Secured Sector Based Bi-path Clustering and Routing) protocol that takes both these two issues into consideration. It uses a bi-path routi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a68a4dd8cd4a32c4b5d8017a8795bbf3
https://doi.org/10.1109/trustcom.2012.254
https://doi.org/10.1109/trustcom.2012.254
Publikováno v:
TrustCom
A Mobile Ad hoc Network (MANET) is receiving a great attention by different communities (e.g. military and civil applications) thanks to its self-configuration and self maintenance potential. Securing a MANET is a very critical matter as it is vulner
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70c18a764a38be00a77dd63e11a79e4d
http://bura.brunel.ac.uk/handle/2438/12259
http://bura.brunel.ac.uk/handle/2438/12259