๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A location-based policy-specification language for mobile devices

โœ Scribed by Joshua Finnis; Nalin Saigal; Adriana Iamnitchi; Jay Ligatti


Book ID
116839150
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
954 KB
Volume
8
Category
Article
ISSN
1574-1192

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


ConSpec โ€” A formal language for policy s
โœ Irem Aktug; Katsiaryna Naliuka ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 716 KB

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,