<https://hal.archives-ouvertes.fr/hal-02456750#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Laborde Romain, Bulusu Sravani Teja, wazan Ahmad Samer, Barrere Fran\u00E7ois, Benzekri Abdelmalek. Logic-based Methodology to Help Security Architects in Eliciting High-Level Network Security Requirements. 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019), Apr 2019, Limassol, Cyprus. pp.1610-1619" .
<https://hal.archives-ouvertes.fr/hal-02456750#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/223357596/id> .
<https://hal.archives-ouvertes.fr/hal-02456750#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/162117019/id> .
<https://hal.archives-ouvertes.fr/hal-02456750#id>	<http://purl.org/dc/elements/1.1/date>	"2019" .
<https://hal.archives-ouvertes.fr/hal-02456750#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/08302302X/id> .
<https://hal.archives-ouvertes.fr/hal-02456750#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/200735152/id> .
<https://hal.archives-ouvertes.fr/hal-02456750#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/031983081/id> .
<https://hal.archives-ouvertes.fr/hal-02456750#id>	<http://purl.org/dc/terms/title>	"Logic-based Methodology to Help Security Architects in Eliciting High-Level Network Security Requirements" .