Patents by Inventor Giorgio Ghelli

Giorgio Ghelli has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Ambient calculus-based modal logics for mobile ambients
    Patent number: 7721335
    Abstract: Ambient calculus-based modal logics for mobile ambients are disclosed. Formal analysis mechanisms or frameworks with which mobile ambients can be described, and within which policies such as security policies can be tested against those ambients, are disclosed. In one embodiment, a computer-implemented method receives at least one container, where each container has at least one process. The method applies the containers, including their processes, against a predetermined modal logic. The modal logic is based on ambient calculus, and provides for spatial relationships among the processes of the containers. The containers and their processes are output, as applied against the logic.
    Type: Grant
    Filed: August 30, 2004
    Date of Patent: May 18, 2010
    Assignee: Microsoft Corporation
    Inventors: Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
  • Ambient calculus-based modal logics for mobile ambients
    Publication number: 20050043932
    Abstract: Ambient calculus-based modal logics for mobile ambients are disclosed. Formal analysis mechanisms or frameworks with which mobile ambients can be described, and within which policies such as security policies can be tested against those ambients, are disclosed. In one embodiment, a computer-implemented method receives at least one container, where each container has at least one process. The method applies the containers, including their processes, against a predetermined modal logic. The modal logic is based on ambient calculus, and provides for spatial relationships among the processes of the containers. The containers and their processes are output, as applied against the logic.
    Type: Application
    Filed: August 30, 2004
    Publication date: February 24, 2005
    Applicant: Microsoft Corporation
    Inventors: Luca Cardelli, Andrew Gordon, Giorgio Ghelli
  • Ambient calculus-based modal logics for mobile ambients
    Patent number: 6826751
    Abstract: Ambient calculus-based modal logics for mobile ambients are disclosed. Formal analysis mechanisms or frameworks with which mobile ambients can be described, and within which policies such as security policies can be tested against those ambients, are disclosed. In one embodiment, a computer-implemented method receives at least one container, where each container has at least one process. The method applies the containers, including their processes, against a predetermined modal logic. The modal logic is based on ambient calculus, and provides for spatial relationships among the processes of the containers. The containers and their processes are output, as applied against the logic.
    Type: Grant
    Filed: October 29, 1999
    Date of Patent: November 30, 2004
    Assignee: Microsoft Corporation
    Inventors: Luca Cardelli, Andrew Gordon, Giorgio Ghelli