335 search results - page 22 / 67 » Reasoning about Probabilistic Security Using Task-PIOAs |
JCS
2006
13 years 7 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
ENTCS
2007
13 years 7 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
IJCSA
2007
13 years 7 months ago
2007
In this paper, we propose a new quantitative trust model for argumentation-based negotiating agents. The purpose of such a model is to provide a secure environment for agent negot...
UTP
2010
13 years 5 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
ENTCS
2007
13 years 7 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...