Patents by Inventor Riccardo Pucella

Riccardo Pucella 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).

  • Checking the security of web services configurations
    Publication number: 20050268326
    Abstract: Systems and methods for checking security goals of a distributed system are described. In one aspect, detailed security policies are converted into a model. The detailed security policies are enforced during exchange of messages between one or more endpoints. The one or more endpoints host respective principals networked in a distributed operating environment. The model is evaluated to determine if the detailed security policies enforce one or more security goals of at least one of the one or more endpoints.
    Type: Application
    Filed: December 29, 2004
    Publication date: December 1, 2005
    Applicant: Microsoft Corporation
    Inventors: Karthikeyan Bhargavan, Cedric Fournet, Andrew Gordon, Christopher Kaler, Riccardo Pucella