Publication | Closed Access

Efficient and flexible access control via Jones-optimal logic program specialisation

Mathematical ProgrammingHardware SecurityApplied LogicLogic SynthesisEngineeringAutomated ReasoningDynamic LogicComputer EngineeringFormal MethodsFlexible Access ControlProgrammable Logic ArrayComputer ScienceCombinatorial OptimizationFormal VerificationLogic Programming