Zobrazeno 1 - 10
of 18
pro vyhledávání: '"van Hoesel, Lodewijk"'
Publikováno v:
Engineering Secure Internet of Things Systems ISBN: 9781785610530
We propose in this chapter a Model-based Security Toolkit (SecKit) and methodology to address the control and protection of user data in the deployment of the Internet of Things (IoT). This toolkit takes a more general approach for security engineeri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c45d6c57acc6cc078cdb73b22f9b2684
https://doi.org/10.1049/pbse002e_ch5
https://doi.org/10.1049/pbse002e_ch5
Publikováno v:
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings, 253-272
STARTPAGE=253;ENDPAGE=272;TITLE=Integrated Formal Methods
Lecture Notes in Computer Science ISBN: 9783540732099
IFM
STARTPAGE=253;ENDPAGE=272;TITLE=Integrated Formal Methods
Lecture Notes in Computer Science ISBN: 9783540732099
IFM
In this paper we report on modelling and verification of a medium access control protocol for wireless sensor networks, the LMAC protocol. Our approach is to systematically investigate all possible connected topologies consisting of four and of five
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6155d65ded758ee8da628ab5467ed33
https://doi.org/10.1007/978-3-540-73210-5_14
https://doi.org/10.1007/978-3-540-73210-5_14
Publikováno v:
Proceedings of SPS-DARTS 2007 the third annual IEEE Benelux/DSP Valley Signal Processing Symposium, 221-229
STARTPAGE=221;ENDPAGE=229;TITLE=Proceedings of SPS-DARTS 2007 the third annual IEEE Benelux/DSP Valley Signal Processing Symposium
STARTPAGE=221;ENDPAGE=229;TITLE=Proceedings of SPS-DARTS 2007 the third annual IEEE Benelux/DSP Valley Signal Processing Symposium
The idea of multi-hop communication originates from the 1990’s and is eagerly incorporated in the wireless sensor network research field, since a tremendous amount of energy can be saved by letting —often battery powered– nodes in the network a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::4bd77221fee34d3183b512fd53d349bf
https://research.utwente.nl/en/publications/63e2f98a-06fd-4823-aff5-aab4112cac9c
https://research.utwente.nl/en/publications/63e2f98a-06fd-4823-aff5-aab4112cac9c
Autor:
Law, Yee Wei, van Hoesel, Lodewijk, Doumen, Jeroen, Hartel, Pieter, Havinga, Paul, Atluri, V., Samarati, P., Ning, P., Du, W.
Publikováno v:
SASN
SASN '05: Proceedings of the 3rd ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN), 76-88
STARTPAGE=76;ENDPAGE=88;TITLE=SASN '05
SASN '05: Proceedings of the 3rd ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN), 76-88
STARTPAGE=76;ENDPAGE=88;TITLE=SASN '05
A typical wireless sensor node has little protection against radio jamming. The situation becomes worse if energy-efficient jamming can be achieved by exploiting knowledge of the data link layer. Encrypting the packets may help to prevent the jammer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2544181fa813216f9b7a626987512844
https://doi.org/10.1145/1102219.1102234
https://doi.org/10.1145/1102219.1102234
In this document the design considerations and component choices of a testbed prototype device for wireless sensor networks will be discussed. These devices must be able to monitor their physical environment, process data and assist other nodes in fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::6d5d6bcb1054f7cc266ae809eff477d2
https://research.utwente.nl/en/publications/design-of-a-lowpower-testbed-for-wireless-sensor-networks-and-verification(fd493fe6-32c4-49bb-aaf2-ef1e8fc05988).html
https://research.utwente.nl/en/publications/design-of-a-lowpower-testbed-for-wireless-sensor-networks-and-verification(fd493fe6-32c4-49bb-aaf2-ef1e8fc05988).html
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Davies, Jim, Gibbons, Jeremy, Fehnker, Ansgar, van Hoesel, Lodewijk, Mader, Angelika
Publikováno v:
Integrated Formal Methods (9783540732099); 2007, p253-272, 20p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.