Sciweavers

386 search results - page 49 / 78
» A logic of trust and reputation
Sort
View
SAINT
2007
IEEE
14 years 1 months ago
Proposal of Constructing PKI on Overlay Network
In this paper, we present the design of foundation PKI (fPKI), a PKI system constructed on an overlay network for an open source community. fPKI can provide an alternative PKI sys...
Yukio Okada, Hiroaki Hazeyama, Youki Kadobayashi
WILF
2005
Springer
103views Fuzzy Logic» more  WILF 2005»
14 years 1 months ago
A Many Valued Representation and Propagation of Trust and Distrust
Martine De Cock, Paulo Pinheiro da Silva
ATVA
2007
Springer
89views Hardware» more  ATVA 2007»
14 years 1 months ago
Policies and Proofs for Code Auditing
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
Nathan Whitehead, Jordan Johnson, Martín Ab...
FORTE
2004
13 years 9 months ago
A Logical Account of NGSCB
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
Martín Abadi, Ted Wobber
IEEEARES
2008
IEEE
14 years 2 months ago
Towards Secure E-Commerce Based on Virtualization and Attestation Techniques
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...
Frederic Stumpf, Claudia Eckert, Shane Balfe