Microsoft Technology Licensing, LLC

Yosef Dinerstein

Efim Hudis

Yair Helman

Shai Rubin

Tomer Weisberg

Uri Barash

Ashwarya Poddar

Arie Friedman

Ami Turgman

Tomer Rotstein

Oren Yossef

Amit Finkelstein

Ziv Caspi

Avihai Lifschitz

Assaf Akrabi

Lior Arzi

Moshe Sapir

Eyal Zangi

Embodiments described herein are configured to generate a smart contract deployed to a distributed ledger platform. In particular, a first party and a second party select a smart contract template and a user interface user interface is thereafter presented to the parties for inclusion of negotiable contract elements. Upon agreement, a smart contract is thereafter generated by augmenting smart contract template programming code to include the included contract elements, and the code is compiled and deployed to a smart contract platform such as, for example, a blockchain. Embodiments include meta-instructions in the smart contract programming code that at least in part determines how the specified contract elements are included in the smart contract programming code. In embodiments, the meta-instructions are embedded in comments in the smart contract programming code.

Smart contract template meta-programming system and method

Embodiments described herein provide a user interface for interacting with a smart contract deployed to a blockchain. The user interface is custom-generated for each party to the smart contract. In particular, representations of actions that a particular party is enabled to perform and/or has already taken with respect to the smart contract are provided to that party via a user interface. A user experience generator queries the smart contract itself to determine which representations are to be provided to each party. The smart contract comprises functions and/or user experience annotations that indicate to the user experience generator which user interface representations should be provided to a particular user based on the party identity and/or the smart contract's state. The smart contract provides an event notification to the user experience generator, which prompts the user experience generator to query the smart contract to determine the allowed actions for a particular user.

User interface and smart contract interaction model for generating user interface representations

Embodiments described herein are configured to generate a smart contract deployed to a distributed ledger platform. In particular, a first party and a second party negotiate the terms of an engagement, jointly choose a mediator from those available on a social networking platform, and choose a smart contract template, and a user interface is thereafter presented to the parties for inclusion of negotiable elements. Upon agreement, a smart contract is thereafter generated and deployed to a smart contract platform such as, for example, a blockchain. Embodiments permit escrow of funds to the smart contract platform. Embodiments of the smart contract enable the parties to indicate completion or take other actions with respect to the engagement, or to initiate a dispute in which case, a chosen mediator is thereafter enabled by the smart contract to mediate the dispute through one or more smart contract actions made available to the mediator.

Smart contract generation and execution system with built-in mediator selection and enforcement tools

Computer systems, devices, and associated methods of detecting and/or preventing injection attacks in databases are disclosed herein. In one embodiment, a method includes determining whether parsing a database statement received from an application on the application server cause a syntax error in a database. In response to determining that parsing the received database statement does not cause a syntax error, determining whether an identical syntactic pattern already exists. In response to determining that an identical syntactic pattern already exists in the database, the method includes indicating that the received database statement does not involve an injection attack.

Database query injection detection and prevention

Systems, methods, and computer program products are described for controlling malicious activity detection with respect to information technology assets based on behavioral models associated with the respective information technology assets. Protection rules and corresponding sensitivities associated with the behavioral models are applied by protection services to detect malicious activity with respect to the information technology assets.

Controlling malicious activity detection using behavioral models

Aspects of the subject matter described herein relate to a mechanism for assessing security. In aspects, an analytics engine is provided that manages execution, information storage, and data passing between various components of a security system. When data is available for analysis, the analytics engine determines which security components to execute and the order in which to execute the security components, where in some instances two or more components may be executed in parallel. The analytics engine then executes the components in the order determined and passes output from component to component as dictated by dependencies between the components. This is repeated until a security assessment is generated or updated. The analytics engine simplifies the work of creating and integrating various security components.

Analytics engine

A generic master-slave mechanism enables a single processor of a cluster of firewall processors to define the behavior of the other processors in the cluster for a specific logical connection. The cluster of firewall processors utilizes virtual adapters representing physical adapters on other processors in the firewall cluster. This virtualization allows each cluster member to act as though it is a standalone machine that owns all local IP addresses of the entire cluster. When traffic is received by a firewall processor, the firewall processor determines if there is a master associated with the logical connection for the traffic. If so, the traffic is routed to the master. If no master is associated, in an example configuration, the receiving firewall processor becomes the master. A message traffic logical connection has a single master. A master remains the master of a logical connection until the connection is terminated.

Transparently extensible firewall cluster

The evaluation of a policy can be delayed until all rules criteria needed for evaluation are available. Also, new types of rules criteria can be registered without requiring changes to a rules engine. A policy manager allows rules to be evaluated and decisions made at different stages of the request handling. The policy manager facilitates interaction with the rules engine until all criteria are evaluated. The policy manager also allows modules developed by third parties to provide notification when criteria can be decided and thus complete evaluation.

Growing community of inventors

Haifa, Israel

Yosef Dinerstein