Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Formal Approach to the Integrated Analysis of Security and QoS

Summary: A Formal Approach to the Integrated
Analysis of Security and QoS
Alessandro Aldini , Marco Bernardo
Universit`a di Urbino "Carlo Bo"
Istituto di Scienze e Tecnologie dell'Informazione
Piazza della Repubblica 13, 61029 Urbino, Italy
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. Unfortu-
nately, 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 methodol-
ogy 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.
Key words: QoS, security, noninterference, formal methods, process algebra,
tools, case studies


Source: Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"


Collections: Computer Technologies and Information Sciences