785 search results - page 71 / 157 » A Calculus for Trust Management |
DAC
2009
ACM
14 years 3 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
COLCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—Collaborative systems available on the Web allow millions of users to share information through a growing collection of tools and platforms such as wikis, blogs and shared forum...
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
STORAGESS
2006
ACM
14 years 2 months ago
2006
ACM
We propose a framework for examining trust in the storage stack based on different levels of trustworthiness present across different channels of information flow. We focus on ...
ISW
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper we consider a new and efficient optimistic nonrepudiation protocol. In a non-repudiation protocol, during which Alice wants to transmit a message to Bob, Al...