| | |
| | |
Stat |
Members: 3643 Articles: 2'487'895 Articles rated: 2609
29 March 2024 |
|
| | | |
|
Article overview
| |
|
Semiring-based Specification Approaches for Quantitative Security | Fabio Martinelli
; Ilaria Matteucci
; Francesco Santini
; | Date: |
29 Sep 2015 | Abstract: | Our goal is to provide different semiring-based formal tools for the
specification of security requirements: we quantitatively enhance the
open-system approach, according to which a system is partially specified.
Therefore, we suppose the existence of an unknown and possibly malicious agent
that interacts in parallel with the system. Two specification frameworks are
designed along two different (but still related) lines. First, by comparing the
behaviour of a system with the expected one, or by checking if such system
satisfies some security requirements: we investigate a novel approximate
behavioural-equivalence for comparing processes behaviour, thus extending the
Generalised Non Deducibility on Composition (GNDC) approach with scores. As a
second result, we equip a modal logic with semiring values with the purpose to
have a weight related to the satisfaction of a formula that specifies some
requested property. Finally, we generalise the classical partial model-checking
function, and we name it as quantitative partial model-checking in such a way
to point out the necessary and sufficient conditions that a system has to
satisfy in order to be considered as secure, with respect to a fixed
security/functionality threshold-value. | Source: | arXiv, 1509.8565 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser claudebot
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |