𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal language for security services base modelling and analysis

✍ Scribed by Denis Trček; Borka Jerman Blažič

Book ID
107885862
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
961 KB
Volume
18
Category
Article
ISSN
0140-3664

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Security policy conceptual modeling and
Security policy conceptual modeling and formalization for networked information systems
✍ D. Trček 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Security in networked information systems is a very complex task that ranges from the level of crypto-primitives over crypto-protocols to the level of organizational matters and legislation. All this is comprised in a so-called security policy, which is often treated as an afterthought. One of the m

Modeling and performance analysis for se
Modeling and performance analysis for security aspects
✍ Lirong Dai; Kendra Cooper 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 899 KB

The problem of effectively designing and analyzing software to realize non-functional requirements is an important research topic. The significant benefits of such work include detecting and removing defects earlier, reducing development time and cost while improving the system's quality. The Formal