Abstract:The topic of the presented research is contemporary threats leading to serious problems in the nearest future. Advantages and disadvantages of typical synthetic advanced analytics methods are investigated, and obstacles are revealed to their distribution in IT, especially in security systems (SS). Security education issues also have been discussed because the high-quality learning inevitably leads to independent research. Original results for juxtaposing statistical versus logical intelligent information processing methods aiming at possible evolutionary fusions are described, and recommendations are made on how to build more effective applications of classical and/or elaborated novel methods: Kaleidoscope, Funnel, Puzzle, and Contradiction. Characteristic peculiarities, advantages, and problems with coordination and control of the investigated group of methods are demonstrated. It is shown that their combination makes possible not only data driven applications, but more complex knowledge guided control of evolutionary computing using nonstandard sets of constraints. The focus is mainly on advanced analytics applications named Puzzle methods and their interactions with other described methods. It is studied aiming at collaborative statistical and logical research based on quantitative method applications, deep processing and effective management of accumulated knowledge. It is shown that applications of intelligent technologies advance the efficiency of statistical applications by using original set of evolutionary methods for data and knowledge fusion. It is shown that all the demonstrated advantages may be successfully combined with well-known methods from big data, advanced analytics, knowledge discovery, data/web/deep data mining or other modern fields. Also, it is shown how the considered applications enhance the quality of statistical inference, reveal the reasons of its effective use, improve the human-machine interaction between the user and system and hence serve the process of gradual but a sustainable improvement of the results. The usage of ontologies is investigated with the purpose of information transfer by a sense in security multiagent environments or to reduce the computational complexity of practical applications. Applications from many fields using the same set of methods have been displayed aiming to show the strength of the domain independent part of the research.

Knowledge and Security

To know or not to know: epistemic approaches to security protocol verification

Semantic Security: Privacy Definitions Revisited.

The Research on Definition of Multilevel Security Based on the Construction of Covert Channels.

Security Formalizations and Their Relationships for Encryption and Key Agreement in Information-Theoretic Cryptography

Dynamic epistemic verification of security protocols: framework and case study

Security Protocols in a Nutshell

International journal of information security: a bibliometric study, 2007–2023

The effects of knowledge mechanisms on employees' information security threat construal

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications

A Logic of Knowledge and Justifications, with an Application to Computational Trust

Proposals for Knowledge Driven and Data Driven Applications in Security Systems

Security Theorems via Model Theory

A Key-Recovery System for Long-term Encrypted Documents

Information Security Games: A Survey

You Don't Know What I Know: on Notion of High-Order Opacity in Discrete-Event Systems

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs

Hiding Symbols and Functions: New Metrics and Constructions for Information-Theoretic Security

Knowledge-enhanced Neuro-Symbolic AI for Cybersecurity and Privacy

What are the trend and core knowledge of information security? A citation and co-citation analysis

Composing security protocols: from confidentiality to privacy