Chapter 1. The age of ransomware: understanding ransomware and its countermeasures. -- Chapter 2. A review of security mechanisms for multi-agent systems: security challenges in multi-agent systems -- Chapter 3. Attack detection in cloud networks based on artificial intelligence approaches -- Chapter 4. Network manipulation using network scanning in SDN -- Chapter 5. The usage analysis of machine learning methods for intrusion detection in software-defined networks -- Chapter 6. Toward formal verification of SDN access-control misconfigurations -- Chapter 7. A review of dynamic verification of security and dependability properties -- Chapter 8. A formal ticket-based authentication scheme for vanets -- Chapter 9. Toward a security scheme for an intelligent transport system -- Chapter 10. Security policies a formal environment for a test cases generation.