Treffer: A formal approach to the integrated analysis of security and QoS

Title:
A formal approach to the integrated analysis of security and QoS
Authors:
ALDINI, Alessandro, BERNARDO, Marco
Source:
SAFECOMP 2004, the 23rd International Conference on Computer Safety, Reliability and SecurityReliability engineering & systems safety. 92(11):1503-1520
Publisher Information:
Oxford: Elsevier, 2007.
Publication Year:
2007
Physical Description:
print, 27 ref
Original Material:
INIST-CNRS
Subject Terms:
Control theory, operational research, Automatique, recherche opérationnelle, Energy, Énergie, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Recherche operationnelle. Gestion, Operational research. Management science, Recherche opérationnelle et modèles formalisés de gestion, Operational research and scientific management, Théorie de la fiabilité. Renouvellement des équipements, Reliability theory. Replacement problems, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Systèmes informatiques et systèmes répartis. Interface utilisateur, Computer systems and distributed systems. User interface, Organisation des mémoires. Traitement des données, Memory organisation. Data processing, Gestion des mémoires et des fichiers (y compris la protection et la sécurité des fichiers), Memory and file management (including protection and security), Algèbre processus, Process algebra, Algebra proceso, Méthode formelle, Formal method, Método formal, Outil logiciel, Software tool, Herramienta software, Protocole transmission, Transmission protocol, Protocolo transmisión, Qualité service, Service quality, Calidad servicio, Réplication, Replication, Replicación, Simultanéité informatique, Concurrency, Simultaneidad informatica, Système réparti, Distributed system, Sistema repartido, Sécurité informatique, Computer security, Seguridad informatica, Case studies, Formal methods, Noninterference, QoS, Security, Tools
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Università di Urbino Carlo Bo, Istituto di Scienze e Tecnologie dell'Informazione, Piazza delta Repubblica 13, 61029 Urbino, Italy
ISSN:
0951-8320
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=19010718
Rights:
Copyright 2007 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems

Operational research. Management
Accession Number:
edscal.19010718
Database:
PASCAL Archive

Weitere Informationen

Concurrent and distributed systems are subject to several requirements of different nature. Among them security and quality of service (QoS) are two fundamental aspects, which can have a profound impact on the system performability. Unfortunately, the study of the tradeoff between security guarantees and performance needs is hard to accomplish, because the related analysis activities are usually carried out separately. In this paper, we present an integrated and tool-supported methodology encompassing both activities, which can provide insights about how to trade the QoS delivered by a system with its security guarantees. The methodology is illustrated by assessing the effectiveness and the efficiency of the securing strategy implemented in the NRL Pump, a trusted device proposed to secure the replication of information from a low-security level enclave to a high-security level enclave.