2022 search results - page 344 / 405 » Trust in Multi-Agent Systems |
142
click to vote
POPL
2001
ACM
15 years 10 months 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 ...
WWW
2010
ACM
15 years 4 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...
CCS
2010
ACM
15 years 4 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...
APNOMS
2009
Springer
15 years 4 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...
FSTTCS
2009
Springer
15 years 4 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...