Risks and Security of Internet and Systems

Risks and Security of Internet and Systems

11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Legay, Axel; Cuppens, Frederic; Lanet, Jean-Louis; Cuppens, Nora

Springer International Publishing AG

03/2017

239

Mole

Inglês

9783319548753

15 a 20 dias

454

Descrição não disponível.
Protection of Personal Data.- CLiKC: A privacy-mindful approach when sharing data.- Ransomware and the Legacy Crypto API .- Risk and Security Analysis Methodology.- A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.- 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.- Methodology for Security.- Towards Empirical Evaluation of Automated Risk Assessment Methods.- An n-sided polygonal model to calculate the impact of cyber security events.- Security and Formal Methods.- SPTool - equivalence checker for SAND attack trees.- Formal Verification of a Memory Allocation Module of Contiki with Frama-C: a Case Study.- Network Security.- A Proactive Stateful Firewall for Software Defined Networking.- Protocol Reverse Engineering: Challenges and Obfuscation.- Detection and Monitoring.-Detecting anomalous behavior in DBMS logs.- Online link disclosure strategies for social networks.- A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory.- Cryptography.- High-performance Elliptic Curve Cryptography by Using the CIOS Method for Modular Multiplication.- Improving Side-Channel Attacks against Pairing-Based Cryptography.- A First DFA on PRIDE: from Theory to Practice.
computer networks;elliptic curve;side channel attack;software engineering;verification;computer architecture;social networks;telecommunication networks;security;authentication;public key cryptography;data communication systems;wireless networks;formal methods