Patents by Inventor Meenakshi Balasubramanian

Meenakshi Balasubramanian 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).

  • Decentralized access control framework
    Patent number: 8166532
    Abstract: A functional architecture is provided for decentralizing the authorization function of an access control system that incorporates user carried access devices, such as smart cards, and door controllers that interact so as to make access decisions. Access to individual rooms is guarded by parameters partially carried by the user carried access devices and partially included in the door controllers.
    Type: Grant
    Filed: October 10, 2006
    Date of Patent: April 24, 2012
    Assignee: Honeywell International Inc.
    Inventors: Atish Datta Chowdhury, Namit Chaturvedi, Meenakshi Balasubramanian, Arul Ganesh
  • Policy language and state machine model for dynamic authorization in physical access control
    Patent number: 7853987
    Abstract: An automaton capable of providing an access control decision upon receiving an access control request is produced by processing context based access control policies specified in a formal descriptive language, and by converting the context based access control policies to the automaton.
    Type: Grant
    Filed: October 10, 2006
    Date of Patent: December 14, 2010
    Assignee: Honeywell International Inc.
    Inventors: Meenakshi Balasubramanian, Arul Ganesh, Namit Chaturvedi, Atish Datta Chowdhury
  • Automatic translation of simulink models into the input language of a model checker
    Patent number: 7698668
    Abstract: A translator converts an input model, such as resulting from a simulation of a design to be verified, into an output model suitable for verification by a model checker. The input model, for example, may be produced using Simulink, and the output model, for example, may be a NuSMV model.
    Type: Grant
    Filed: October 10, 2006
    Date of Patent: April 13, 2010
    Assignee: Honeywell International Inc.
    Inventors: Meenakshi Balasubramanian, Abhishek Bhatnagar, Sudeepa Roy
  • Automata based storage and execution of application logic in smart card like devices
    Publication number: 20080155239
    Abstract: A small intelligent device has a memory that stores a finite state automaton, an input/output interface that receives an input and provides an output, and a processor. The processor is arranged to receive the input and to traverse the finite state automaton stored in the memory in order to supply the output to the input/output interface. The automaton may be an embodiment of context sensitive and context independent rules that are enforced by the automaton execution logic.
    Type: Application
    Filed: October 10, 2006
    Publication date: June 26, 2008
    Inventors: Atish Datta Chowdhury, Namit Chaturvedi, Meenakshi Balasubramanian, Arul Ganesh
  • Policy language and state machine model for dynamic authorization in physical access control
    Publication number: 20080086643
    Abstract: An automaton capable of providing an access control decision upon receiving an access control request is produced by processing context based access control policies specified in a formal descriptive language, and by converting the context based access control policies to the automaton.
    Type: Application
    Filed: October 10, 2006
    Publication date: April 10, 2008
    Inventors: Meenakshi Balasubramanian, Arul Ganesh, Namit Chaturvedi
  • Decentralized access control framework
    Publication number: 20080086758
    Abstract: A functional architecture is provided for decentralizing the authorization function of an access control system that incorporates user carried access devices, such as smart cards, and door controllers that interact so as to make access decisions. Access to individual rooms is guarded by parameters partially carried by the user carried access devices and partially included in the door controllers.
    Type: Application
    Filed: October 10, 2006
    Publication date: April 10, 2008
    Inventors: Atish Datta Chowdhury, Namit Chaturvedi, Meenakshi Balasubramanian, Arul Ganesh
  • Automatic translation of simulink models into the input language of a model checker
    Publication number: 20080086705
    Abstract: A translator converts an input model, such as resulting from a simulation of a design to be verified, into an output model suitable for verification by a model checker. The input model, for example, may be produced using Simulink, and the output model, for example, may be a NuSMV model.
    Type: Application
    Filed: October 10, 2006
    Publication date: April 10, 2008
    Inventors: Meenakshi Balasubramanian, Abhishek Bhatnagar, Sudeepa Roy