2022 search results - page 344 / 405 » Trust in Multi-Agent Systems |
166
Voted
POPL
2001
ACM
16 years 21 days ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
89
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
We describe Dispute Finder, a browser extension that alerts a user when information they read online is disputed by a source that they might trust. Dispute Finder examines the tex...
110
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
97
Voted
APNOMS
2009
Springer
15 years 7 months ago
2009
Springer
The Internet is comprised of a lot of interconnected networks communicating reachability information using BGP. Due to the design based on trust between networks, IP prefix hijacki...
83
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...