http://www.cnr.it/ontology/cnr/individuo/prodotto/ID64088

On Relating and Integrating Two Trust Management Frameworks (Articolo in rivista)

Type

Label

On Relating and Integrating Two Trust Management Frameworks (Articolo in rivista) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

[1] Martinelli F., [1] Petrocchi M. (2007)
On Relating and Integrating Two Trust Management Frameworks
in Electronic notes in theoretical computer science; Elsevier, Amsterdam (Paesi Bassi)
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

Rivista

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Titolo

Abstract

In this paper, we continue our line of research for defining an integrated framework for the specification and analysis of security and trust, aimed at providing the basis for the modeling and analysis of security and trust aspects of emergent dynamic coalitions (e.g., mobile ad hoc networks, peer to peer systems, web services). In particular, we consider two well-known languages: 1) the Role-based Trust-management framework (RT) and, in particular, its most basic language RT\"0, and 2) the transitive trust model, for defining trust and recommendation relationships. First, we show an encoding of the transitive trust model into part of RT\"0; then, this subset is mapped into the inference construct of the Crypto-CCS process algebra. Also, we introduce in the languages operators dealing with levels of trust. The relationships among these languages could allow us to model and analyze trust and recommendation issues in distributed systems by means of standard formal techniques, based on inference systems. (literal)

Editore