MaxSAT Evaluation 2019 -- Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs

Autor: Barrere Cambrun, M, Hankin, C, Nicolaou, N, Eliades, DG, Parisini, T

Publikováno v: MaxSAT Evaluation 2019 (affiliated with SAT 2019)

This paper presents a MaxSAT benchmark focused on identifying critical nodes in AND/OR graphs. We use AND/OR graphs to model Industrial Control Systems (ICS) as they are able to semantically grasp intricate logical interdependencies among ICS compone

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e314a1e834b95d1640a07fe363fcc58
http://arxiv.org/abs/1911.00516

The health and social environment of uninfected infants born to HIV-infected women.

Autor: Hankin, C.¹ (AUTHOR), Thorne, C.¹ (AUTHOR), Peckham, C.¹ (AUTHOR), Newell, M.-L.¹ (AUTHOR) m.newell@ich.ucl.ac.uk

Publikováno v: AIDS Care. Apr2004, Vol. 16 Issue 3, p293-303. 11p. 3 Charts, 1 Graph.

Long-term follow-up of uninfected children born to HIV-infected women and exposed to antiretroviral therapy: survey of parents' and health professionals' views.

Autor: Hankin, C. D.¹ (AUTHOR), Newell, M.-L.¹ (AUTHOR), Tookey, P.¹ (AUTHOR) p.tookey@ich.ucl.ac.uk

Publikováno v: AIDS Care. Apr2007, Vol. 19 Issue 4, p482-486. 5p.

Efficient Numerical Frameworks for Multi-objective Cyber Security Planning.

Autor: Khouzani, MHR., Malacaria, P., Hankin, C., Fielder, A., Smeraldi, F.

Publikováno v: Computer Security - ESORICS 2016: 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II; 2016, p179-197, 19p

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