785 search results - page 22 / 157 » A Calculus for Trust Management |
WAC
2005
Springer
14 years 29 days ago
2005
Springer
Self-organized and ad hoc communications have many fundamental principles in common and also face similar problems in the domains of security and Quality of Service. Trust manageme...
CCGRID
2002
IEEE
14 years 14 days ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
AP2PC
2005
Springer
13 years 9 months ago
2005
Springer
Since there is no method to verify the trustworthiness of shared files in P2P file sharing systems, malicious peers can spread untrustworthy files to the system. In order to pre...
CSL
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
RTS
2011
12 years 10 months ago
2011