Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /
| Corporate Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Information Systems and Applications, incl. Internet/Web, and HCI ;
10158 |
| Subjects: |
Table of Contents:
- 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.