𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ConSpec — A formal language for policy specification

✍ Scribed by Irem Aktug; Katsiaryna Naliuka

Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
716 KB
Volume
74
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

GSL: a requirements specification langua
GSL: a requirements specification language for end-user intelligibility
✍ P. G. Wijayarathna; Y. Kawata; A. Santosa; K. Isogai; M. Maekawa 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB 👁 2 views

GSL: A Requirements Specification Language for End-User Intelligibility p. g. wijayarathna, y. kawata, a. santosa, k. isogai and m. maekawa

A formal language approach for a 3D curv
A formal language approach for a 3D curve representation
✍ E. Bribiesca; C. Velarde 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 799 KB

A tbrmal language approach for representing three-dimensional (3D) curves is presented. Based on the chMn code for representing 3D carves defined in [1], we propose an approach for mapping 3D curves into strings. This mapping allows us to have a unique curve descriptor, which is invariant under tran

A requirement specification language for
A requirement specification language for configuration dynamics of multiagent systems
✍ Mehdi Dastani; Catholijn M. Jonker; Jan Treur 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 193 KB

In agent-mediated applications, the system configuration can change because of the creation and the deletion of agents. The behavior of such systems on the one hand depends on the dynamics of the system configuration; on the other hand, behavior of such a system consists of the information dynamics

A Visual Syntax-directed Editor for the
A Visual Syntax-directed Editor for the Descartes Specification Language
✍ AMIR A. KHWAJA; JOSEPH E. URBAN 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 674 KB

The front end of the software life cycle is an important phase in the development of quality software systems. Due to the interactive nature of the requirements specification phase, automated tools assist in capturing user concepts and conveying these concepts to the developers. This paper presents