𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The development of a specification language for a computer security system

✍ Scribed by Jan H.P. Eloff

Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
489 KB
Volume
4
Category
Article
ISSN
0167-4048

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Active Securityβ€”A proactive approach for
Active Securityβ€”A proactive approach for computer security systems
✍ Gerhard Eschelbeck πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 290 KB

Computer systems and especially networking environments are growing and changing very rapidly. Such growth introduces major security risks, as current computer and networking security components are not able to dynamically adopt themselves for the changing needs. Especially the growth of the Interne

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

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