Lecture Notes in Computer Science - Risks and Security of Internet and Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319548753, 9783319548760

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Empirical Evaluation of Automated Risk Assessment Methods

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_6 ◽

2017 ◽

pp. 77-86 ◽

Cited By ~ 1

Author(s):

Olga Gadyatskaya ◽

Katsiaryna Labunets ◽

Federica Paci

Keyword(s):

Risk Assessment ◽

Empirical Evaluation ◽

Assessment Methods

Download Full-text

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_3 ◽

2017 ◽

pp. 31-45

Author(s):

Razika Lounas ◽

Nisrine Jafri ◽

Axel Legay ◽

Mohamed Mezghiche ◽

Jean-Louis Lanet

Keyword(s):

Formal Verification ◽

Dynamic Software Updating ◽

Software Updating ◽

Dynamic Software ◽

Point Detection

Download Full-text

A First DFA on PRIDE: From Theory to Practice

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_17 ◽

2017 ◽

pp. 214-238 ◽

Cited By ~ 2

Author(s):

Benjamin Lac ◽

Marc Beunardeau ◽

Anne Canteaut ◽

Jacques J. A. Fournier ◽

Renaud Sirdey

Keyword(s):

Theory To Practice

Download Full-text

Analyzing the Risk of Authenticity Violation Based on the Structural and Functional Sizes of UML Sequence Diagrams

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_4 ◽

2017 ◽

pp. 46-59

Author(s):

Hela Hakim ◽

Asma Sellami ◽

Hanêne Ben Abddallah

Keyword(s):

Sequence Diagrams

Download Full-text

Towards the Weaving of the Characteristics of Good Security Requirements

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_5 ◽

2017 ◽

pp. 60-74 ◽

Cited By ~ 2

Author(s):

Sravani Teja Bulusu ◽

Romain Laborde ◽

Ahmad Samer Wazan ◽

Francois Barrère ◽

Abdelmalek Benzekri

Keyword(s):

Security Requirements

Download Full-text

CLiKC: A Privacy-Mindful Approach When Sharing Data

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_1 ◽

2017 ◽

pp. 3-10

Author(s):

Esma Aïmeur ◽

Gilles Brassard ◽

Jonathan Rioux

Download Full-text

A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_14 ◽

2017 ◽

pp. 169-182

Author(s):

Rui Abreu ◽

César Andrés ◽

Ana R. Cavalli

Keyword(s):

Game Theory ◽

Monitoring And Diagnosis ◽

The Cost

Download Full-text

Online Link Disclosure Strategies for Social Networks

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_13 ◽

2017 ◽

pp. 153-168 ◽

Cited By ~ 1

Author(s):

Younes Abid ◽

Abdessamad Imine ◽

Amedeo Napoli ◽

Chedy Raïssi ◽

Michaël Rusinowitch

Keyword(s):

Social Networks

Download Full-text

Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_9 ◽

2017 ◽

pp. 114-120 ◽

Cited By ~ 5

Author(s):

Frédéric Mangano ◽

Simon Duquennoy ◽

Nikolai Kosmatov

Keyword(s):

Formal Verification ◽

Memory Allocation

Download Full-text

An n-Sided Polygonal Model to Calculate the Impact of Cyber Security Events

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-54876-0_7 ◽

2017 ◽

pp. 87-102 ◽

Cited By ~ 2

Author(s):

Gustavo Gonzalez-Granadillo ◽

Joaquin Garcia-Alfaro ◽

Hervé Debar

Keyword(s):

Cyber Security ◽

The Impact ◽

Polygonal Model

Download Full-text

Lecture Notes in Computer Science - Risks and Security of Internet and SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Towards Empirical Evaluation of Automated Risk Assessment Methods

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating

A First DFA on PRIDE: From Theory to Practice

Analyzing the Risk of Authenticity Violation Based on the Structural and Functional Sizes of UML Sequence Diagrams

Towards the Weaving of the Characteristics of Good Security Requirements

CLiKC: A Privacy-Mindful Approach When Sharing Data

A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory

Online Link Disclosure Strategies for Social Networks

Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study

An n-Sided Polygonal Model to Calculate the Impact of Cyber Security Events

Lecture Notes in Computer Science - Risks and Security of Internet and Systems
Latest Publications