72 search results - page 10 / 15 » Trust network analysis with subjective logic |
SAC
2009
ACM
14 years 3 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...
WPES
2006
ACM
14 years 2 months ago
2006
ACM
Recent trends in Internet computing have led to the popularization of many forms of virtual organizations. Examples include supply chain management, grid computing, and collaborat...
ACMICEC
2007
ACM
14 years 17 days ago
2007
ACM
Purchasing decisions are often strongly influenced by people who the consumer knows and trusts. Moreover, many online shoppers tend to wait for the opinions of early adopters befo...
EMSOFT
2006
Springer
14 years 7 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...