Honeywell International Inc.

Meenakshi Balasubramanian

Arul Ganesh

Atish Datta Chowdhury

Namit Chaturvedi

Sudeepa Roy

Abhishek Bhatnagar

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.

Decentralized access control framework

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.

Policy language and state machine model for dynamic authorization in physical access control

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.

Growing community of inventors

Bengaluru, India

Meenakshi Balasubramanian