𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using a formal specification contractually

✍ Scribed by C. O'Halloran; R. Arthan; D. King

Publisher
Springer
Year
1997
Tongue
English
Weight
690 KB
Volume
9
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Estimating protocol performance using a
Estimating protocol performance using a formal specification model
✍ Raymond E. Miller; Zafar Ullah Chaudhry πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 212 KB

This paper introduces an approach for protocol performance estimation directly from a formal model of the protocol. By using the approach presented in this paper, performance of a protocol can be quickly estimated at an early stage of protocol design. The simplicity of analysis, achieved by determin

ConSpec β€” A formal language for policy s
ConSpec β€” A formal language for policy specification
✍ 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,