Abstract: A method for verification of an event occurring on a computer system includes: detecting an event requiring authorization; identifying one or more users that are responsible for authorizing the event; issuing at least one query to each of the one or more responsible users regarding whether the event is authorized; and based on the responses of the one or more responsible users, either approving the event or flagging the event as potentially unauthorized. The step of issuing at least one query may include prompting each of the identified responsible users to select from one of the following three tags: (1) “Clear,” signifying approval of the event; (2) “Flag,” signifying disapproval of the event; and (3) “Dismiss,” signifying referral of the event to others. The method may be used to crowd-source the response to cybersecurity events within an organization, and to supervise artificial intelligence.

Abstract: A method comprising: (a) receiving a machine-readable functional requirement as an input at a data processor, (b) producing, by an algorithm running on said data processor, a machine-readable functional requirement, to produce at least one machine-readable mutated copy of said functional requirement, each of said at least one mutated copies retaining the function of the input, as a product at said data processor, and (c) providing one or more of said mutated copies as an output.

Abstract: A system for a communication infrastructure in a network including at least one connected system (CS) and at least one network risk management network element (SW), wherein the network acts as a virtual network comprising at least one virtual network element, and wherein the at least one virtual network element takes over the roles of existing network elements comprising at least one of a switch, a router, a firewall and an intrusion prevention system (IPS), and wherein the virtual network is comprised of physical elements that work together to form the network's infrastructure.