This book provides a comprehensive and in-depth study of automated firewall policy analysis for designing, configuring and managing distributed firewalls in lar

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November

With the widespread availability of high-speed, high-capacity microprocessors and microcomputers with high-speed communication ability, and sophisticated energy

This book constitutes the refereed post-conference proceedings of the 25th International Conference on Distributed and Computer and Communication Networks, DCCN

The book, in addition to the cyber threats and technology, processes cyber security from many sides as a social phenomenon and how the implementation of the cyb