719 search results - page 114 / 144 » Proving Security Protocols Correct |
FFA
2006
14 years 9 months ago
2006
We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between the deal...
106
click to vote
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
ICPPW
2002
IEEE
15 years 2 months ago
2002
IEEE
We present a specification for a new, localized group membership service that maintains the membership status of adjacent nodes – called neighbors – in a mobile distributed s...
FMCO
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...