176 search results - page 1 / 36 » Abstraction and Refinement in Protocol Derivation |
93
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
112
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...
136
Voted
LCN
1996
IEEE
15 years 6 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...
106
click to vote
SDMW
2004
Springer
15 years 8 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...
146
Voted
CCS
2010
ACM
15 years 19 days 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...