Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Laboratoire de Recherche en Informatique
labStructName_s : Computer Security Division
Page :
sorted by
Image document

Structuring Theories with Implicit Morphisms

 Florian Rabe , Dennis Müller
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers hal-02364570v1
Image document

Modeling and Mitigating the Insider Threat of Remote Administrators in Clouds

 Nawaf Alhebaishi , Lingyu Wang , Sushil Jajodia , Anoop Singhal
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.3-20, ⟨10.1007/978-3-319-95729-6_1⟩
Conference papers hal-01954402v1
Image document

Assessing Attack Impact on Business Processes by Interconnecting Attack Graphs and Entity Dependency Graphs

 Chen Cao , Lun-Pin Yuan , Anoop Singhal , Peng Liu , Xiaoyan Sun , et al.
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.330-348, ⟨10.1007/978-3-319-95729-6_21⟩
Conference papers hal-01954421v1
Image document

Boolean Networks: Beyond Generalized Asynchronicity

 Thomas Chatain , Stefan Haar , Loïc Paulevé
AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Conference papers hal-01768359v2
Page :