3504 search results - page 421 / 701 » Secure protocol composition |
126
Voted
MOBISYS
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents a new pairing protocol that allows two CPU-constrained wireless devices Alice and Bob to establish a shared secret at a very low cost. To our knowledge, this i...
132
Voted
COMCOM
2006
15 years 2 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
118
click to vote
JCS
2006
15 years 2 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...
137
Voted
TC
2008
15 years 2 months ago
2008
In an attempt to expand Public Key Infrastructure (PKI) usage to a ubiquitous and mobile computing environment, we found that the deployment of the PKI on a resource-constrained de...
121
Voted
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...