نشرت في: October 2008
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Our definitions extend earlier definitions of secrec...
This article studies the notion of quantitative policies for trust management and gives protocols for realizing them in a disclosure-minimizing fashi...
نشرت في: December 2008
In trust negotiation and other forms of distributed proving, networked entities cooperate to form proofs of authorization that are justified by colle...
Consider a pollster who wishes to collect private, sensitive data from a number of distrustful individuals. How might the pollster convince the respo...
This article presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manuall...
