461 search results - page 3 / 93 » Developing security protocols by refinement |
137
click to vote
CMS
2003
15 years 3 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
112
click to vote
FAC
2008
15 years 2 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
135
Voted
JUCS
2008
15 years 2 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
121
Voted
PDCAT
2007
Springer
15 years 8 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
107
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...