Title of article
ConSpec — A formal language for policy specification
Author/Authors
Irem Aktug، نويسنده , , Katsiaryna Naliuka، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2008
Pages
11
From page
2
To page
12
Abstract
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.
Keywords
Security frameworks , Security enforcement mechanisms , runtime monitoring , Policy language
Journal title
Science of Computer Programming
Serial Year
2008
Journal title
Science of Computer Programming
Record number
1080043
Link To Document