Abstract: A system and method for authorization policy analysis. A policy analyzer answers first-order questions about authorization policies by reducing the policies to Satisfiability modulo theories (SMT). Input to the analyzer includes a policy to be analyzed and a schema for that policy. If the policy passes strict validation against the schema, then the analyzer symbolically evaluates the policy to encode its semantics as an SMT expression. The SMT expression is used for formulate a desired query about policy behavior such as, for example, if there is any input on which two policies both evaluate to true. The reduction to SMT produces a quantifier-free formula in a combination of decidable theories to support large scale deployments. This reduction is achieved by focusing the analysis on policies that pass strict validation, rather than attempting to analyze arbitrary policies.

Abstract: A system and method for authorization policy evaluation. Authorization policies are authored in a general-purpose authorization language. An evaluation engine is used in a provider network by application developers to manage access within their applications based on fine-grained permissions. The policy language combines elements of role-based and attributed-based access control within an intuitive syntax and efficient evaluation strategy. The policy syntax separates role-based expressions of a policy from attribute-based expressions of the policy.

Abstract: In accordance with exemplary embodiments, methods and systems are provided for providing electrical power for a manufacturing facility for manufacturing of a vehicle, the vehicle having a rechargeable energy storage system (RESS) and a processor, including: positioning the vehicle at the manufacturing facility, the manufacturing facility having an electrical component; and providing electrical power from the RESS of the vehicle to the electrical component of the manufacturing facility, in accordance with instructions provided by the processor.

Abstract: In accordance with exemplary embodiments, methods and systems are provided for providing electrical power for a manufacturing facility for manufacturing of a vehicle, the vehicle having a rechargeable energy storage system (RESS) and a processor, including: positioning the vehicle at the manufacturing facility, the manufacturing facility having an electrical component; and providing electrical power from the RESS of the vehicle to the electrical component of the manufacturing facility, in accordance with instructions provided by the processor.

Abstract: A system includes a platform to support a vehicle on a first side of the platform and a passive motion device arranged on a second side of the platform, opposite the first side, to move upon actuation. A mechanical actuator actuates the passive motion device based on movement of one or more wheels of the vehicle to change a position of the vehicle. The position of the vehicle relative to the platform is unchanged and the passive motion device is actuated by only the movement of the one or more wheels of the vehicle to change the position of the vehicle.

Abstract: A fish line holder and baiting apparatus stores a common line with fish hooks on a carousel type unit with several arms radiating from a common hub. Each of the arms may carry 150 hooks on a stainless steel rod. The common line is fed into automatic baiting apparatus which is a series of three chambers, a first horizontal hopper, then a vertical hopper and a transition conduit which moves the line via suitable fairleads into the vertical bait hopper. By the use of suitable articulated weights and various fairleads for centering the line, the line can be trolled out behind a moving fishing boat at a relatively high speed with good efficiency in baiting each hook.