653 search results - page 4 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
WETICE
2003
IEEE
14 years 29 days ago
2003
IEEE
The World Wide Web encourages widely-distributed, open, decentralised systems that span multiple administrative domains. Recent research has turned to trust management [4] as a fr...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
FORTE
2004
13 years 9 months ago
2004
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...
AGENTS
2000
Springer
14 years 1 days ago
2000
Springer
We will examine in this paper three crucial aspects of trust dynamics: a) How A’s trusting B and relying on it in situation can actually (objectively) influence B’s trustworth...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...