176 search results - page 1 / 36 » Abstraction and Refinement in Protocol Derivation |
65
Voted
CSFW
2004
IEEE
15 years 2 months ago
2004
IEEE
75
Voted
IPPS
1998
IEEE
15 years 2 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...
103
click to vote
LCN
1996
IEEE
15 years 2 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
SDMW
2004
Springer
15 years 3 months ago
2004
Springer
ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...
110
click to vote
CCS
2010
ACM
14 years 8 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...