XSOAR now available on Cyberbit, integrated into hands-on incident response simulation exercises

“Enterprise SOCs must always be prepared for the next security event,” said Dan Sarel, VP Product Management at Palo Alto Networks. “XSOAR plays … Read source

Cortex XSOAR is a graphical language for specifying and verifying concurrent systems. XSOAR offers a new way to express complex systems consisting of interacting components and to specify the desired properties of the system. XSOAR is based on group theory and thus it is a high level specification language.

The key idea behind XSOAR is the use of Groups to represent the structure of a system. This is very natural for systems that can be modeled using o-algebra. The main reason for using groups is to be able to specify and verify properties of systems using existing and well-established tools of group theory.