176 search results - page 1 / 36 » Abstraction and Refinement in Protocol Derivation |
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
IPPS
1998
IEEE
13 years 9 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...
LCN
1996
IEEE
13 years 9 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
13 years 10 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...
CCS
2010
ACM
13 years 2 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...