Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Security and privacy for innovative automotive applications: A survey

Autor: Le, Van Huynh, den Hartog, Jerry, Zannone, Nicola

Publikováno v: In Computer Communications November 2018 132:17-41

Role inference + anomaly detection = situational awareness in bacnet networks

Autor: Fauri, Davide, Kapsalakis, Michail, dos Santos, Daniel Ricardo, Costante, Elisa, den Hartog, Jerry, Etalle, Sandro, Maurice, Clémentine, Giacinto, Giorgio, Perdisci, Roberto, Almgren, Magnus

Publikováno v: Detection of Intrusions and Malware, and Vulnerability Assessment-16th International Conference, DIMVA 2019, Proceedings, 461-481
STARTPAGE=461;ENDPAGE=481;TITLE=Detection of Intrusions and Malware, and Vulnerability Assessment-16th International Conference, DIMVA 2019, Proceedings
Detection of Intrusions and Malware, and Vulnerability Assessment ISBN: 9783030220372
DIMVA

In smart buildings, cyber-physical components (e.g., controllers, sensors, and actuators) communicate with each other using network protocols such as BACnet. Many of these devices are now connected to the Internet, enabling attackers to exploit vulne

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ceeca2b606b95096028e4ce313eca36c
http://www.scopus.com/inward/record.url?scp=85067797392&partnerID=8YFLogxK

Leveraging semantics for actionable intrusion detection in building automation systems

Autor: Fauri, Davide, Kapsalakis, Michail, dos Santos, Daniel Ricardo, Costante, Elisa, den Hartog, Jerry, Etalle, Sandro, Luiijf, Eric, Žutautaitė, Inga, Hämmerli, Bernhard M.

Publikováno v: Critical Information Infrastructures Security-13th International Conference, CRITIS 2018, Revised Selected Papers, 113-125
STARTPAGE=113;ENDPAGE=125;TITLE=Critical Information Infrastructures Security-13th International Conference, CRITIS 2018, Revised Selected Papers
Critical Information Infrastructures Security ISBN: 9783030058487
CRITIS

In smart buildings, physical components (e.g., controllers, sensors, and actuators) are interconnected and communicate with each other using network protocols such as BACnet. Many smart building networks are now connected to the Internet, enabling at

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3d460d519c996ef8668343ba908a81e
https://research.tue.nl/nl/publications/00f01002-e65d-4c23-8c8f-05d4e962c1f4

A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs

Autor: Corin, Ricardo, den Hartog, Jerry, Bugliesi, Michele, Preneel, Bart, Sassone, Vladimiro, Wegener, Ingo

Publikováno v: Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, 252-263
STARTPAGE=252;ENDPAGE=263;TITLE=Automata, Languages and Programming
Automata, Languages and Programming ISBN: 9783540359074
ICALP (2)
Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II, 252-263
STARTPAGE=252;ENDPAGE=263;TITLE=Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II

We extend a Probabilistic Hoare-style logic to formalize game-based cryptographic proofs. Our approach provides a systematic and rigorous framework, thus preventing errors from being introduced. We illustrate our technique by proving semantic securit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::997dacae03a8962c588ef18f6a1a9bef
https://doi.org/10.1007/11787006_22