9821 search results - page 328 / 1965 » A Framework for the Development of Protocols |
191
click to vote
DAGSTUHL
1994
15 years 8 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
164
click to vote
CAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Computer-supported collaborative knowledge creation is the continuous process of development of knowledge assets, where produced knowledge has to be assessed by the devel...
180
Voted
PROVSEC
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outsid...
198
click to vote
CCS
2005
ACM
16 years 11 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
181
click to vote
CN
2011
15 years 1 months ago
2011
In this paper, we take a holistic approach to the protocol architecture design in multihop wireless networks. Our goal is to integrate various protocol layers into a rigorous fram...