ConSpec – A Formal Language for Policy Specification | Zendy

Irem Aktug | Zendy; Katsiaryliuka | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

ConSpec – A Formal Language for Policy Specification

Author(s) -

Irem Aktug,

Katsiaryliuka

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.10.013

Subject(s) - computer science , programming language , specification language , programming language specification , formal semantics (linguistics) , language of temporal ordering specification , enforcement , object language , formal methods , formal language , automaton , formal specification , rendering (computer graphics) , operational semantics , semantics (computer science) , formal verification , theoretical computer science , natural language processing , natural language , artificial intelligence , programming paradigm , inductive programming , programming domain , political science , law

The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle, rendering possible the formalization of various policy enforcement techniques

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research